jamesbvaughan / httppl
A simple http server written in Prolog
☆30Updated 8 years ago
Alternatives and similar repositories for httppl:
Users that are interested in httppl are comparing it to the libraries listed below
- Erlang to Scheme compiler☆36Updated 12 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- A small implementation of type inference☆78Updated 9 years ago
- SML On Stilts☆37Updated 11 years ago
- ☆94Updated 8 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Getting Widespread OCaml Adoption☆85Updated 7 years ago
- Tool for detecting bad style in Standard ML programs☆16Updated 5 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- A secure web framework, built in the Idris language.☆109Updated 11 years ago
- JVM implementation in Haskell☆44Updated 5 months ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- What's the simplest Turing Machine with unknown behavior?☆13Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated 11 months ago
- Sild is a lisp dialect☆43Updated 2 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated 11 months ago
- A library for convenient and composable translation between JSON and Elm types☆16Updated 10 years ago
- Code samples inspiring language design☆24Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago