Interpreter for simply typed lambda calculus implemented in JavaScript λ
☆35Aug 7, 2017Updated 8 years ago
Alternatives and similar repositories for typed-calc
Users that are interested in typed-calc are comparing it to the libraries listed below
Sorting:
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- P2P Note app☆13Jun 18, 2025Updated 8 months ago
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 3 years ago
- Attach to a node repl using Hyperswarm☆16Aug 11, 2025Updated 6 months ago
- Find friends and family globally, securely, and privately without middle-man☆14Sep 8, 2025Updated 6 months ago
- Create a virtual-dom streamgraph☆16Sep 14, 2017Updated 8 years ago
- Examples of basic flows for modules in the Holepunch ecosystem☆20Jul 13, 2023Updated 2 years ago
- ABI compatible replacement for https://github.com/holepunchto/libjs built on QuickJS☆22Updated this week
- A procedurally generated roguelike incremental web based 4x coding game☆14Dec 26, 2016Updated 9 years ago
- build 3d scenes with shapes and lights using stack.gl☆17Dec 16, 2016Updated 9 years ago
- A JavaScript library for traversing, inspecting, and transforming arbitrary tree structures.☆22May 2, 2021Updated 4 years ago
- Multiwriter password and note sharing module☆27Updated this week
- Redux-inspired store for dealing with continuous values☆17Dec 9, 2016Updated 9 years ago
- Servo-specific APIs to access various devices☆20Jan 2, 2024Updated 2 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Chrome devtools like network tab for node applications☆20Sep 22, 2024Updated last year
- ☆23Sep 30, 2016Updated 9 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Nov 6, 2017Updated 8 years ago
- search and visualize parking regulations using Mapbox GL☆26Apr 24, 2016Updated 9 years ago
- Mirror two drives☆31Feb 23, 2026Updated last week
- Create a virtual-dom widget☆22Mar 12, 2016Updated 9 years ago
- Handbook for running conferences as advised by GatherScript☆32Jan 5, 2018Updated 8 years ago
- functional entity-component-system experiment☆24Mar 25, 2017Updated 8 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- SDK to extend Merlin☆27Oct 21, 2024Updated last year
- Bare for native application development☆38Feb 26, 2026Updated last week
- Ramda adapter for AngularJS☆34Dec 2, 2014Updated 11 years ago
- Awesome Pears☆35Dec 18, 2025Updated 2 months ago
- Redis backend for LevelUP☆74Nov 9, 2022Updated 3 years ago
- Rebranding Version☆12Jan 22, 2024Updated 2 years ago
- Example application for creating an MVC Express + Node + TypeScript app and deploying it to Azure☆10Nov 8, 2018Updated 7 years ago
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- Calculate the xor distance between two buffers as a new buffer and compare computed distances with eachother☆38Dec 14, 2020Updated 5 years ago
- ☆28Sep 15, 2016Updated 9 years ago
- Improved event handling and testing for the HTML5 canvas☆38Nov 4, 2015Updated 10 years ago
- A selection of configurable native DOM UI elements☆41May 24, 2017Updated 8 years ago
- ☆11Feb 10, 2021Updated 5 years ago
- The DX of a bundler without the complexity of one. Try it and let your dependencies go nude!☆21Updated this week
- A Syntax highlighter that can run online or offline.☆12Mar 19, 2022Updated 3 years ago