HigherOrderCO-archive / kindbookView external linksLinks
☆55Jan 5, 2025Updated last year
Alternatives and similar repositories for kindbook
Users that are interested in kindbook are comparing it to the libraries listed below
Sorting:
- my personal lang☆17Dec 31, 2023Updated 2 years ago
- Rint Network is free and open-source project for enabling anonymous, encryption & communication by directing Internet traffic through a w…☆23Aug 31, 2021Updated 4 years ago
- HVM3☆277Jan 29, 2026Updated 2 weeks ago
- OCaml's Result and Option modules in TypeScript, for funzies.☆11May 8, 2024Updated last year
- A reference implementation for a weave data structure to allow quick reconstruction of old versions of a compressed repository in version…☆17Jan 2, 2016Updated 10 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- A toy version of Effect, scoped down to `Toyffect.gen`, `Context.Tag` and various "Toyffect" factories☆16Jul 26, 2025Updated 6 months ago
- A language for certifying specification☆14Sep 27, 2023Updated 2 years ago
- ❤️ | Fancy diagnostics for Miette☆15Oct 3, 2024Updated last year
- Real-time multiplayer Tron game☆21Jan 16, 2018Updated 8 years ago
- ☆14Oct 29, 2024Updated last year
- Awesome Agda Programming☆18Sep 22, 2025Updated 4 months ago
- A visual "hashing" algorithm written in JavaScript, mostly for client-side use.☆17Jun 7, 2019Updated 6 years ago
- Haskell bindings to WGPU Native☆22Aug 25, 2025Updated 5 months ago
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated last year
- A minimal proof checker.☆79Sep 9, 2024Updated last year
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆673Feb 3, 2026Updated last week
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- A modern proof language☆3,719Jan 22, 2025Updated last year
- ☆51Nov 21, 2025Updated 2 months ago
- ☆494Jun 11, 2024Updated last year
- Interaction net resources☆44Jan 29, 2026Updated 2 weeks ago
- ☆35Sep 23, 2024Updated last year
- An efficient, secure cryptocomputer☆615Nov 25, 2023Updated 2 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- A massively parallel, optimal functional runtime in Rust☆31Aug 7, 2024Updated last year
- upbit-api on rust☆10May 28, 2025Updated 8 months ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆25Nov 25, 2025Updated 2 months ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 4 months ago
- Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…☆11Jul 30, 2020Updated 5 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆84Feb 17, 2017Updated 8 years ago
- A Zig library to idiomatically communicate with other BEAM nodes☆47Nov 24, 2025Updated 2 months ago
- Modern, pure OCaml socket pool for Riot☆43Apr 15, 2024Updated last year
- A miniature model of the Typescript compiler☆34Jun 28, 2024Updated last year
- Sync-DRAW: Automatic Video Generation using Deep Recurrent Attentive Architectures☆12Oct 21, 2017Updated 8 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 6 months ago
- An offshot of the SteamControllerSigner that aims to take advantage of the SC's dual pulse channel nature☆11Aug 14, 2017Updated 8 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago