plum-umd / adapton
Adapton Project Homepage
☆16Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for adapton
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- n queens with the logic monad☆20Updated 9 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- Logic for story telling!☆32Updated 6 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- A programming language☆76Updated 11 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 8 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- Small programs with unknown halting status.☆12Updated 8 years ago
- ☆41Updated 10 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 9 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- Yes, it is what you think it is☆33Updated 8 years ago
- ☆33Updated 9 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 6 years ago
- A DSL for describing and implementing communication protocols☆83Updated 9 years ago
- ☆29Updated 9 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- Experiments on the construction of functions☆29Updated 8 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago