Pinned Loading

1. natural-language-compiler natural-language-compiler Public

   Command-line translator from natural language into typed lambda calculus and predicate logic

   OCaml

2. cmu-pasta/mu2 cmu-pasta/mu2 Public

   Mutation-guided mutation-based fuzz testing

   Java 41 7