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:
- Haskell to Javascript compiler (via GHC)☆20Updated 6 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Updated 8 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!☆21Updated 12 years ago
- VM and tracing JIT for Haskell (work in progress)☆80Updated 11 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆56Updated 15 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- ☆41Updated 8 years ago
- Clojure-style transients for Haskell☆35Updated 3 years ago
- An implementation of Functional Reactive Programming☆41Updated 10 years ago
- a simple functional language for learners☆30Updated 9 years ago
- Distributed programming language that desugars to Morte☆92Updated 3 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- A compiler from Purescript to Python☆42Updated 10 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- a logic-based trust-management system☆19Updated 13 years ago
- The Spire Programming Language☆59Updated 11 years ago
- Monadic Javascript Compiler☆73Updated 9 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 3 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- A haskell interpreter in javascript☆198Updated 15 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Dive into GHC☆82Updated 9 years ago
- JVM implementation in Haskell☆44Updated last year
- Haskell bindings to LevelDB (https://github.com/google/leveldb)☆67Updated 11 months ago
- Utrecht Haskell Compiler☆42Updated 13 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago