☆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 3 years ago
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 3 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
- functional programming game☆13Feb 22, 2024Updated 2 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.
- A 2d top-down turn-based strategy terminal game written from scratch in C.☆12Dec 17, 2023Updated 2 years ago
- building and documenting realtime audio effects☆17May 12, 2023Updated 3 years ago
- Moved to https://git.toxicfox.de/toxicfox/MicroOS☆18Jun 10, 2026Updated 2 months ago
- Self-hosted SDK for XR/station☆16Updated this week
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated 2 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- National Novel Generation Month, 2024 edition.☆18Oct 10, 2025Updated 10 months ago
- Metacompiler to generate an optimised JIT compiler frontend based on an Interpreter definition☆12Updated this week
- Botpress Internal Packages☆18Updated this week
- 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.
- Minecraft client written in Rust and WGPU☆11Apr 16, 2023Updated 3 years ago
- LLVM Kaleidoscope Compiler☆11Aug 19, 2019Updated 6 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- CPU and home computer project☆17Mar 4, 2023Updated 3 years ago
- Attempt at writing a (toy) OS in rust☆11Jul 22, 2022Updated 4 years ago
- Tool to process Signum! 1/2 document files (*.SDO)☆10Feb 7, 2026Updated 6 months 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
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My portfolio website, made with Leptos☆17Dec 7, 2025Updated 8 months ago
- Using language embeddings to analyze porn's evolution.☆15May 11, 2025Updated last year
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- ☆11Jun 8, 2023Updated 3 years ago
- ☆10Oct 27, 2024Updated last year
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- stuffing things into pointers in a strict provenance friendly way☆12Oct 16, 2022Updated 3 years ago
- The hobbyist's programming language☆25Jun 2, 2023Updated 3 years ago
- An exploration of relational algebra☆16Updated this week
- 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.
- A Solarized Light Tmux Theme.☆20Jan 30, 2023Updated 3 years ago
- A functional scripting language.☆18Jan 18, 2025Updated last year
- Optimizing Brainfuck interpreter☆12Dec 30, 2020Updated 5 years ago
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆14Jan 15, 2022Updated 4 years ago
- Template to be used for Sapphire Project repositories☆11Apr 16, 2023Updated 3 years ago
- hacks, a python plugin library that doesn't play by the rules☆18Jan 27, 2017Updated 9 years ago
- German enigma machine implemented with pure functional programming☆19Oct 26, 2020Updated 5 years ago