Popular repositories Loading

1. regex-equivalence regex-equivalence Public

   A web page for checking if two regular expressions match the same language.

   Haskell 16

2. elm-type-inference elm-type-inference Public

   Type inference for Elm, written in Elm.

   Elm 6 2

3. nina-fast-bluetooth nina-fast-bluetooth Public

   Bluetooth on the ESP32 coprocessor of your Arduino MKR Wifi 1010!

   C 5

4. alternator alternator Public

   Rust 5

5. vec2 vec2 Public

   A 2d vector and matrix math library for Go.

   Go 3

6. justified-type-inference justified-type-inference Public

   An implementation of Algorithm W in Idris with a complete proof

   Idris 3 1