☆37Oct 16, 2023Updated 2 years ago
Alternatives and similar repositories for kibi
Users that are interested in kibi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an interpreted programming language allowing you to express your thoughts in a clean and expandable code without a second thought☆13Jul 16, 2023Updated 2 years ago
- Cooperative first-person roguelike dungeon crawler where spells are programs☆18Feb 17, 2024Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Format code blocks inside documentation 🦤☆16Jun 10, 2025Updated 10 months ago
- A self-hosted programming language.☆12Oct 19, 2022Updated 3 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.
- Simple OS with memory protection.☆18Apr 13, 2026Updated 2 weeks ago
- Self-hosted SDK for XR/station☆14Apr 24, 2026Updated last week
- Learn to code with Wipple.☆38Apr 5, 2026Updated 3 weeks ago
- ☆18Mar 12, 2023Updated 3 years ago
- National Novel Generation Month, 2024 edition.☆18Oct 10, 2025Updated 6 months ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- The initial (legacy) compiler for the Gera programming language.☆23May 10, 2024Updated last year
- An implementation of Smalltalk 80 in Rust☆24Mar 21, 2018Updated 8 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A language for abusing mathematical functions and writing things with them that were never meant to be written. It provides an interface …☆16Dec 11, 2025Updated 4 months ago
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Aug 9, 2025Updated 8 months ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 4 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- A cycle accurate emulator for the 6502 microprocessor☆19Oct 1, 2023Updated 2 years ago
- It's from the future!☆10Dec 6, 2021Updated 4 years ago
- My portfolio website, made with Leptos☆17Dec 7, 2025Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- Using language embeddings to analyze porn's evolution.☆14May 11, 2025Updated 11 months ago
- A collection of utility functions that relates to linear algebra and graphics programming.☆13Apr 10, 2026Updated 3 weeks ago
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- ☆11Oct 27, 2024Updated last year
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆13Jan 15, 2022Updated 4 years ago
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- Cont is a compiled statically-typed object oriented concatenative programming language written in Python☆18Jan 26, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- stuffing things into pointers in a strict provenance friendly way☆12Oct 16, 2022Updated 3 years ago
- Nix configurations files for corytertel☆14Feb 19, 2025Updated last year
- A top-down vehicle shooter in Rust - a FOSS clone of RecWar☆58Apr 17, 2025Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Optimizing Brainfuck interpreter☆12Dec 30, 2020Updated 5 years ago
- A very simple programming language for teaching interpreter and compiler building.☆15Jun 29, 2017Updated 8 years ago
- Official Articblush GTK theme☆10Nov 13, 2022Updated 3 years ago