A blog of things I wish I'd already found
☆16Jun 22, 2026Updated last week
Alternatives and similar repositories for kbits
Users that are interested in kbits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Search Unicode characters from your terminal☆12Aug 1, 2024Updated last year
- SQLite database viewer for terminal☆17Jul 15, 2023Updated 2 years ago
- A best-of list for all awesome projects written in textual☆19Jun 6, 2024Updated 2 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- terminal based typing game☆28Jun 28, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Code samples for Textual(ize) videos.☆20Feb 26, 2024Updated 2 years ago
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated 4 months ago
- translations of a lambda abstraction to combinations of operators☆19Sep 6, 2019Updated 6 years ago
- A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your l…☆15Oct 17, 2024Updated last year
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- ☆12May 22, 2016Updated 10 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated 2 years ago
- Waits until the exit code of a program is zero☆15Apr 15, 2022Updated 4 years ago
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 7 months ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Apr 2, 2013Updated 13 years ago
- A terminal-based tool for looking up stuff in PyPI☆33Apr 12, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Lazily initialized ASGI apps☆12Jan 21, 2025Updated last year
- Go library to scan regular expression capture group to variable similar to fmt.Scanf☆14Dec 15, 2020Updated 5 years ago
- Simple C Haskell Compiler☆22Feb 5, 2026Updated 4 months ago
- A SQLite extension for quickly generating random numbers, booleans, characters, and blobs☆21Nov 27, 2023Updated 2 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- A Textual widget for a floating, draggable window and included window bar/manager system.☆38Aug 3, 2025Updated 11 months ago
- No more certifi! System trust store at hand. In Pure Python.☆24Jun 8, 2026Updated 3 weeks ago
- Building a compiler to WASM step-by-step☆16Mar 23, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Dive into Python code☆98Feb 3, 2026Updated 5 months ago
- Code generator for binary parsing☆20Feb 1, 2020Updated 6 years ago
- Cache it your way! Record your computers audio output to an audio library.☆10Aug 25, 2020Updated 5 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- 🪵 Troncos - Collection of logging, tracing and profiling tools☆13Updated this week
- 📦 GitHub Action to install a Rust crate from a GitHub release☆20Apr 11, 2026Updated 2 months ago
- Simple go vendoring using git submodules.☆12Oct 24, 2017Updated 8 years ago