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 5 years ago
- VM and tracing JIT for Haskell (work in progress)☆79Updated 10 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- a logic-based trust-management system☆19Updated 13 years ago
- ☆41Updated 8 years ago
- Clojure-style transients for Haskell☆33Updated 3 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- a simple functional language for learners☆30Updated 8 years ago
- JVM implementation in Haskell☆44Updated last year
- Haskell Join-calculus DSL☆23Updated 6 years ago
- A compiler from Purescript to Python☆42Updated 10 years ago
- Utrecht Haskell Compiler☆42Updated 13 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Updated 9 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- A type-checker for Haskell with integer constraints☆42Updated 10 years ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- REST'ful web framework in Agda☆134Updated 15 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Distributed programming language that desugars to Morte☆92Updated 3 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 9 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago