valderman / lambdascriptLinks
Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
☆25Updated 8 years ago
Alternatives and similar repositories for lambdascript
Users that are interested in lambdascript are comparing it to the libraries listed below
Sorting:
- The Spire Programming Language☆59Updated 10 years ago
- Haskell to Javascript compiler (via GHC)☆20Updated 5 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- JVM implementation in Haskell☆44Updated 11 months ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- VM and tracing JIT for Haskell (work in progress)☆79Updated 10 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 7 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A haskell interpreter in javascript☆198Updated 15 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- ☆41Updated 8 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- A language with dependent types☆19Updated 13 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- A type-checker for Haskell with integer constraints☆42Updated 10 years ago
- Clojure-style transients for Haskell☆33Updated 3 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated 2 years ago
- Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!☆21Updated 11 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago