valderman / lambdascript
Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
☆25Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambdascript
- Fast Haskell bindings to Google's Snappy compression library☆31Updated last year
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 13 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Haskell to Javascript compiler (via GHC)☆20Updated 4 years ago
- Haskell bindings to LevelDB (https://github.com/google/leveldb)☆66Updated 5 months ago
- Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!☆21Updated 11 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- A backwards-compatible, modern replacement for the Prelude.☆22Updated 7 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- The Spire Programming Language☆59Updated 10 years ago
- VM and tracing JIT for Haskell (work in progress)☆77Updated 10 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Yet another alternative Haskell Prelude, but this one is awesome!☆51Updated 13 years ago
- Haskell bindings to the LLVM compiler infrastructure project.☆105Updated 4 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- ☆26Updated 8 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Updated 5 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- A very general logging effect for Haskell☆60Updated 6 months ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- Haskell helpers for deploying to Heroku☆18Updated 9 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- Monadic Javascript Compiler☆73Updated 8 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago