A next-gen, massively parallel, beta-optimal functional runtime.
☆10Jan 3, 2022Updated 4 years ago
Alternatives and similar repositories for LambdaVM
Users that are interested in LambdaVM are comparing it to the libraries listed below
Sorting:
- ☆10Aug 17, 2022Updated 3 years ago
- ☆37Nov 16, 2021Updated 4 years ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆16Mar 15, 2022Updated 3 years ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- A minimal pure functional language based on self dependent types.☆73May 11, 2022Updated 3 years ago
- A (in-development) Coq mechanization of WebAssembly specification.☆21Oct 1, 2021Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Formality in itself☆20Nov 30, 2020Updated 5 years ago
- Hindley-Milner type inference using constraints☆50Jan 2, 2017Updated 9 years ago
- A small video game console for Arduino using the Brainduino interpreter☆28Apr 4, 2018Updated 7 years ago
- A fully complete and functional exception handling library written in ANSI/ISO C.☆31Sep 24, 2011Updated 14 years ago
- A nano "theorem prover".☆63Feb 15, 2019Updated 7 years ago
- Work-in-progress functional dependently typed programming language☆30Updated this week
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last month
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Mar 1, 2026Updated last week
- A programming language for the decentralized web☆446Mar 7, 2023Updated 3 years ago
- Formalizr, Google Chrome extension - "Remembers what you type, in case of a page crash."☆17Jul 4, 2024Updated last year
- A project built in .NET and Angular with angular where good programming practices are applied.☆14Oct 16, 2023Updated 2 years ago
- Prettygood DSP: A tiny Arduino based audio DSP board☆12Apr 18, 2022Updated 3 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 2 weeks ago
- rddapp: Regression Discontinuity Design Application☆11Sep 2, 2025Updated 6 months ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- An arbitrary-precision floating-point library in Rust☆46Apr 26, 2025Updated 10 months ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- Half queue half pubsub. Super small (< 30 loc) and simple queue that supports subscribers.☆22Dec 15, 2012Updated 13 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- ClojureScript functional reactive programming library.☆49Jun 7, 2013Updated 12 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- 8 fast digital MEMS microphones input to a Beaglebone☆13Oct 12, 2021Updated 4 years ago
- Macros for node☆10Feb 8, 2012Updated 14 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- Herramientas de Desarrollo de Videojuegos con ADN Argentino☆12Aug 6, 2024Updated last year
- ☆12Feb 17, 2023Updated 3 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- facebook/immutable-js wrapper providing static functions to work with functional programming☆12Aug 6, 2014Updated 11 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago