vintage-basic. Vintage BASIC Interpreter
json-patterns-ruby. Validate patterns in JSON using a domain-specific language that looks as much as possible like the JSON you are trying to validate.
proof-verifier. Natural deduction proof verifier in Haskell
advent2021. Haskell
