kindelia-archive / LambdaVMView external linksLinks
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
- ☆36Nov 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 5 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".☆62Feb 15, 2019Updated 7 years ago
- Work-in-progress functional dependently typed programming language☆29Oct 11, 2023Updated 2 years ago
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last week
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Feb 9, 2026Updated last week
- A programming language for the decentralized web☆446Mar 7, 2023Updated 2 years ago
- rddapp: Regression Discontinuity Design Application☆11Sep 2, 2025Updated 5 months 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
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Updated this week
- Prettygood DSP: A tiny Arduino based audio DSP board☆12Apr 18, 2022Updated 3 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- An arbitrary-precision floating-point library in Rust☆47Apr 26, 2025Updated 9 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- ☆12Feb 17, 2023Updated 2 years ago
- mirror of jsish - A javascript interpreter with 0install, sqlite and websocket support☆13Dec 8, 2015Updated 10 years ago
- A wine-runnable version of Microsofts Shader Compiler fxc☆18Apr 10, 2023Updated 2 years ago
- Specification of the Formality proof and programming language☆41Feb 5, 2023Updated 3 years ago
- ClojureScript functional reactive programming library.☆49Jun 7, 2013Updated 12 years ago
- Personal research and experimentation with audio☆13Dec 9, 2023Updated 2 years ago
- Did someone say types?☆13Sep 5, 2016Updated 9 years ago
- facebook/immutable-js wrapper providing static functions to work with functional programming☆12Aug 6, 2014Updated 11 years ago
- Linux File System Game☆12Oct 7, 2019Updated 6 years ago
- 8 fast digital MEMS microphones input to a Beaglebone☆13Oct 12, 2021Updated 4 years ago
- Cherry-picks Lodash functions and require them explicitly to reduce the webpack bundle size.☆13Mar 10, 2022Updated 3 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year