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
- Low-level Haskell bindings for libpq☆19Sep 19, 2019Updated 6 years ago
- Miniature Haskell interactive environment for my kids to play around with☆13Aug 28, 2018Updated 7 years ago
- Slides from my Wellington FP Users Group presentation on Yesod☆15May 14, 2011Updated 14 years ago
- DoctorJS--, simple type inference for JavaScript☆16Dec 23, 2012Updated 13 years ago
- An efficient syntax highlighting library in Haskell, using alex-generated lexers☆28Sep 12, 2011Updated 14 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 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
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 2 years ago
- Get going with Haskell ASAP☆41Apr 25, 2011Updated 14 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated last year
- A maintenance command of Haskell cabal packages☆36Aug 6, 2025Updated 7 months ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- A basic rate-limiting library for Haskell☆20Jan 3, 2023Updated 3 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Learn you an Agda (and achieve enlightenment)☆316Feb 13, 2018Updated 8 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- A language with dependent types☆19Oct 7, 2011Updated 14 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated 2 months ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- ☆41Dec 27, 2025Updated 2 months ago
- A program for evaluating a Haskell expression step-by-step☆50Nov 20, 2016Updated 9 years ago
- Haskell Snake clone.☆35Apr 29, 2012Updated 13 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆16Sep 19, 2018Updated 7 years ago
- Read, process and write WAV files with Elixir.☆10Mar 28, 2018Updated 7 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to …☆224Jan 11, 2013Updated 13 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- (POC) A demo illustrating frond-end source code encryption with WebAssembly.☆11Jun 22, 2022Updated 3 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- EclipseFP, the Haskell plug-in for Eclipse☆139Oct 18, 2020Updated 5 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆47Jan 12, 2026Updated 2 months ago
- The 10 millionth JavaScript Scheme interpreter.☆15Feb 14, 2020Updated 6 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Oct 16, 2022Updated 3 years ago
- A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus☆14Dec 8, 2021Updated 4 years ago