Popular repositories Loading

1. vintage-basic vintage-basic Public

   Vintage BASIC Interpreter

   Haskell 95 23

2. json-patterns-ruby json-patterns-ruby Public

   Validate patterns in JSON using a domain-specific language that looks as much as possible like the JSON you are trying to validate.

   Ruby 8 1

3. proof-verifier proof-verifier Public

   Natural deduction proof verifier in Haskell

   Haskell 3

4. advent2021 advent2021 Public

   Haskell 1

5. scala scala Public

   Forked from scala/scala

   The Scala programming language

   Scala

6. pandoc pandoc Public

   Forked from jgm/pandoc

   Universal markup converter

   Haskell