Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
☆25May 11, 2017Updated 9 years ago
Alternatives and similar repositories for lambdascript
Users that are interested in lambdascript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell helpers for deploying to Heroku☆18Jun 30, 2015Updated 10 years ago
- Haskell to Javascript compiler (via GHC)☆20Jan 27, 2020Updated 6 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Miniature Haskell interactive environment for my kids to play around with☆13Aug 28, 2018Updated 7 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 11 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 15 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 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 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☆25May 7, 2026Updated last month
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Yet another alternative Haskell Prelude, but this one is awesome!☆51Sep 20, 2011Updated 14 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- ☆41Dec 27, 2025Updated 5 months ago
- Read, process and write WAV files with Elixir.☆10Mar 28, 2018Updated 8 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 …☆225Jan 11, 2013Updated 13 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆17Sep 19, 2018Updated 7 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- A simple Haskell OpenGL Test Application for iOS☆13Jun 3, 2012Updated 14 years ago
- (POC) A demo illustrating frond-end source code encryption with WebAssembly.☆11Jun 22, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆47Jan 12, 2026Updated 4 months ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Oct 16, 2022Updated 3 years ago
- ☆14Sep 2, 2012Updated 13 years ago
- A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus☆14Dec 8, 2021Updated 4 years ago
- ☆11Jan 27, 2021Updated 5 years ago