☆58Jan 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:
- Language server for the Bend programming language☆17Oct 18, 2024Updated last year
- my personal lang☆18Dec 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☆278Jan 29, 2026Updated last month
- 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 toy version of Effect, scoped down to `Toyffect.gen`, `Context.Tag` and various "Toyffect" factories☆16Jul 26, 2025Updated 7 months ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 9 months ago
- ☆16Feb 24, 2025Updated last year
- ❤️ | Fancy diagnostics for Miette☆15Oct 3, 2024Updated last year
- A language for certifying specification☆14Sep 27, 2023Updated 2 years ago
- Haskell bindings to WGPU Native☆22Aug 25, 2025Updated 6 months ago
- The Simplest Parser Library (that works) in Rust☆44Aug 6, 2024Updated last year
- ☆121Feb 1, 2024Updated 2 years ago
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- A functional programming language with shell scripting capabilities☆131Dec 18, 2025Updated 2 months ago
- A modern proof language☆3,728Jan 22, 2025Updated last year
- O melhor app de organização pessoal open source que você vai encontrar☆14May 8, 2023Updated 2 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆693Updated this week
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Feb 25, 2026Updated last week
- 1 Billion Row Challenge in Zig☆21Jan 8, 2024Updated 2 years ago
- A Typst Template for ABNT academic documents☆25Nov 6, 2023Updated 2 years ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆55Oct 13, 2025Updated 4 months ago
- ☆54Nov 21, 2025Updated 3 months ago
- ☆495Jun 11, 2024Updated last year
- Interaction net resources☆45Jan 29, 2026Updated last month
- The first spoken long-text dataset derived from live streams, designed to reflect the redundancy-rich and conversational nature of real-w…☆12Jun 28, 2025Updated 8 months ago
- XLA (Accelerated Linear Algebra) bindings for OCaml☆35Jun 1, 2025Updated 9 months ago
- Fast Haskell RPC☆30Jan 14, 2026Updated last month
- An efficient, secure cryptocomputer☆614Nov 25, 2023Updated 2 years ago
- 🎭 The compiler of EventMacro to OpenKore plugin☆86Nov 18, 2018Updated 7 years ago
- A freeform ASCII diagram parser for Haskell (inspired by Ditaa)☆34Mar 11, 2021Updated 4 years ago
- My RubyConf 2021 Workshop Materials☆10Nov 5, 2021Updated 4 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Jun 9, 2021Updated 4 years ago
- A Zig library to idiomatically communicate with other BEAM nodes☆47Mar 2, 2026Updated last week
- 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
- upbit-api on rust☆11May 28, 2025Updated 9 months ago
- Modern, pure OCaml socket pool for Riot☆43Apr 15, 2024Updated last year