ots22 / racket-ad-demos
Exploring Automatic Differentiation with Racket
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for racket-ad-demos
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago
- ☆11Updated 2 weeks ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- A very little language☆16Updated last year
- The MLtonLibrary repository☆34Updated last year
- Racket bindings for Z3☆24Updated 5 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- Selective applicative functors laws and theorems☆14Updated 4 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated last month
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- ☆10Updated 5 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- ☆17Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- A diagram drawing library for Racket☆18Updated 3 years ago
- ☆21Updated 7 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 6 years ago
- A type theory with native support for Polynomial Functors.☆38Updated last year
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 8 months ago
- Implementations of various toy programming languages☆12Updated 6 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆11Updated 5 years ago
- MLpolyR☆7Updated 8 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated last year
- The Alms Programming Language☆44Updated 6 years ago
- A talk☆28Updated 3 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago