nwf / dyna
Dyna2 compiler and REPL
☆146Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for dyna
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- playing with recurrent neural networks☆28Updated 9 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Link to preprints for POPL'17 and co-located events☆101Updated 7 years ago
- ☆59Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- ☆54Updated 8 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 7 months ago
- Charity language interpreters and literature☆114Updated 5 years ago
- Link to preprints for ICFP'16 and co-located events☆140Updated 8 years ago
- A fast, easy-to-use q-learning library for Haskell☆44Updated 8 years ago
- ☆25Updated 4 years ago
- A hip inductive theorem prover!☆88Updated 2 years ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 6 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 9 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆270Updated 11 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- The LVish Haskell library☆81Updated 2 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 3 months ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- hidden markov models in haskell☆34Updated 8 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago