plum-umd / adapton
Adapton Project Homepage
☆16Updated 8 years ago
Related projects: ⓘ
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Logic for story telling!☆29Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 5 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- microkanren in sml☆26Updated 9 years ago
- n queens with the logic monad☆20Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- ☆11Updated this week
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 9 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- Notes on P-omega☆14Updated 7 years ago
- Designing Programs with Class☆26Updated 6 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆21Updated 11 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- 2048 in Idris☆121Updated 6 years ago
- ☆63Updated this week
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 6 months ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆270Updated 11 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 8 years ago