jamesbvaughan / httppl
A simple http server written in Prolog
☆29Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for httppl
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- The LVish Haskell library☆81Updated 2 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Totally functional programming literature☆60Updated 5 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 8 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A small implementation of type inference☆78Updated 9 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- SML On Stilts☆37Updated 10 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 8 months ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago