mgechev / typed-calcView external linksLinks
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
- A seeders only swarm☆18Feb 7, 2024Updated 2 years ago
- P2P Note app☆13Jun 18, 2025Updated 7 months ago
- Attach to a node repl using Hyperswarm☆16Aug 11, 2025Updated 6 months ago
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Feb 20, 2015Updated 10 years ago
- Find friends and family globally, securely, and privately without middle-man☆14Sep 8, 2025Updated 5 months ago
- Create a virtual-dom streamgraph☆16Sep 14, 2017Updated 8 years ago
- ABI compatible replacement for https://github.com/holepunchto/libjs built on QuickJS☆22Dec 23, 2025Updated last month
- A procedurally generated roguelike incremental web based 4x coding game☆14Dec 26, 2016Updated 9 years ago
- Examples of basic flows for modules in the Holepunch ecosystem☆20Jul 13, 2023Updated 2 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
- Redux-inspired store for dealing with continuous values☆17Dec 9, 2016Updated 9 years ago
- Multiwriter password and note sharing module☆26Jan 16, 2026Updated 3 weeks ago
- Servo-specific APIs to access various devices☆20Jan 2, 2024Updated 2 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 10 years ago
- Open source projects, demos, paid services, etc. that demonstrate approaches to editing & managing data through a user interface.☆28Feb 19, 2017Updated 8 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Nov 23, 2018Updated 7 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Nov 6, 2017Updated 8 years ago
- Mirror two drives☆29Feb 2, 2026Updated last week
- ☆23Sep 30, 2016Updated 9 years ago
- search and visualize parking regulations using Mapbox GL☆26Apr 24, 2016Updated 9 years ago
- Create a virtual-dom widget☆22Mar 12, 2016Updated 9 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
- A demo deployment of ReasonML and Apollo GraphQL using Docker☆41Jan 23, 2018Updated 8 years ago
- Quickly chain method calls, property access and functions into a pipeline☆49Jun 2, 2015Updated 10 years ago
- Redis backend for LevelUP☆74Nov 9, 2022Updated 3 years ago
- Awesome Pears☆35Dec 18, 2025Updated last month
- 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
- 『Hello Shopify Themes Shopifyテーマ開発ガイド』サポート用のGitHubレポジトリです。正誤表・本文中URL一覧・サンプルコードを公開しています。☆11Feb 15, 2023Updated 3 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
- Storybook for Angular Material. (Based on https://github.com/amcdnl/material-storybook)☆15Jun 15, 2023Updated 2 years ago
- Internet relay chat demo using scalaz-streams☆34Mar 7, 2016Updated 9 years ago
- ☆19Jun 28, 2025Updated 7 months ago
- Pre-processed results for New Jersey elections☆12Apr 3, 2025Updated 10 months ago
- A work in progress. Move along, or try out the proof of concept and let me know how badly things broke!☆19Updated this week