Nada Amin namin

Sponsoring

Popular repositories Loading

1. inc inc Public

   an incremental approach to compiler construction

   Scheme 965 115

2. LLM verified with Monte Carlo Tree Search

   Jupyter Notebook 289 31

3. dot dot Public

   formalization of the Dependent Object Types (DOT) calculus

   161 12

4. interactive programming tutorials, powered by Github and Docker

   HTML 143 7

5. multi-stage relational programming for staged relational interpreters: running with holes, faster

   Racket 140 16

6. explorations in core.logic

   Clojure 118 9