Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
☆25May 11, 2017Updated 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)☆20Jan 27, 2020Updated 6 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Dec 21, 2022Updated 3 years ago
- Haskell helpers for deploying to Heroku☆18Jun 30, 2015Updated 10 years ago
- JavaScript you can bet on. [WARNING]: Progress has been suspended on this project most likely indefinitely☆225Oct 30, 2018Updated 7 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated 11 months ago
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 2 years ago
- DoctorJS--, simple type inference for JavaScript☆16Dec 23, 2012Updated 13 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆16Sep 19, 2018Updated 7 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A language with dependent types☆19Oct 7, 2011Updated 14 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- A basic rate-limiting library for Haskell☆20Jan 3, 2023Updated 3 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- Yet another alternative Haskell Prelude, but this one is awesome!☆51Sep 20, 2011Updated 14 years ago
- A maintenance command of Haskell cabal packages☆36Aug 6, 2025Updated 6 months ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 9 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated last month
- ☆27Jun 26, 2024Updated last year
- B+-tree implementation in Haskell☆28May 12, 2019Updated 6 years ago
- Effect Handlers for Java / the JVM☆29Feb 27, 2020Updated 6 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Oct 16, 2022Updated 3 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- Helping you keep your workstation nice and tidy☆31Sep 29, 2020Updated 5 years ago
- Link to preprints for POPL'18 and colocated events☆86Jun 16, 2018Updated 7 years ago
- Nix development utils that will blow up your mind☆44Dec 16, 2015Updated 10 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Apr 1, 2023Updated 2 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 4 years ago
- Proposals for the Haskell Ecosystem☆54Jan 10, 2019Updated 7 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- ☆16Jun 27, 2015Updated 10 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Building Better Services And Clients☆41Mar 17, 2019Updated 6 years ago