jamesbvaughan / httpplLinks
A simple http server written in Prolog
☆30Updated 9 years ago
Alternatives and similar repositories for httppl
Users that are interested in httppl are comparing it to the libraries listed below
Sorting:
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Crux Programming Language☆53Updated 5 months ago
- Scripting with Least Privilege☆110Updated 8 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- Haskell port of the Hashids library.☆24Updated 2 years ago
- 🧊 Чиста система з всесвітами☆148Updated last month
- A small implementation of type inference☆80Updated 10 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- APL compiler written in Standard ML☆36Updated 5 years ago
- Test-driven system administration with a little extra logic.☆389Updated 7 years ago
- A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.☆138Updated 7 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98Updated 10 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 5 years ago
- A secure web framework, built in the Idris language.☆110Updated 12 years ago
- ☆16Updated 11 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- Erlang to Scheme compiler☆39Updated 13 years ago
- What I Wish I Knew While Learning Nix☆34Updated 4 years ago
- a lambda calculus interpreter☆83Updated 4 years ago