Popular repositories Loading

1. go-native-netcdf go-native-netcdf Public

   A native Go implementation of NetCDF4.

   Go 62 14

2. go-thrower go-thrower Public

   go-thrower lets you throw errors and catch them (implemented using panics)

   Go 1 1

3. blackjack blackjack Public

   JavaScript

4. flt-vandiver flt-vandiver Public

   The Case I/II engine: FLT for prime exponents via Washington's Thm 9.5 small-witness descent, weakening regularity to Vandiver. Engine of the flt-vandiver family.

   Lean

5. flt-vandiver-primes flt-vandiver-primes Public

   FermatLastTheoremFor p for every prime 17≤p<1000 and both Wolstenholme primes, via native_decide certificates. Part of the flt-vandiver family.

   Lean

6. flt-vandiver-primes-kernel flt-vandiver-primes-kernel Public

   Zero-compiler-trust (kernel decide) FLT for the eight irregular primes below 200. Part of the flt-vandiver family.

   Lean