☆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
- Edina - A simple stack-oriented compiled programming language.☆13Jun 8, 2023Updated 2 years ago
- Cooperative first-person roguelike dungeon crawler where spells are programs☆18Feb 17, 2024Updated 2 years ago
- Aspect Definition Language. A powerful and succinct replacement for XML, JSON, YAML, etc.☆12Jan 6, 2026Updated 2 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- blazingly fast, universal and easy-to-use programming language for anything you can imagine☆21Jan 23, 2026Updated 2 months ago
- functional programming game☆13Feb 22, 2024Updated 2 years ago
- A 2d top-down turn-based strategy terminal game written from scratch in C.☆13Dec 17, 2023Updated 2 years ago
- Format code blocks inside documentation 🦤☆16Jun 10, 2025Updated 9 months ago
- A fast, iterative, correct approach to Stackblur, resulting in a very smooth and high-quality output, with no edge bleeding☆13Aug 13, 2022Updated 3 years ago
- Self-hosted SDK for XR/station☆14Feb 20, 2026Updated last month
- ☆18Mar 12, 2023Updated 3 years ago
- A small embeddable scripting language☆27May 30, 2022Updated 3 years ago
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated last year
- Custom CSS JSON data for VS Code☆10Jun 19, 2023Updated 2 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated 11 months ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- A POSIX compatible shell written by Rust language.☆14Apr 30, 2024Updated last year
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- It's from the future!☆10Dec 6, 2021Updated 4 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Botpress Internal Packages☆19Updated this week
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- 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 15 years ago
- stuffing things into pointers in a strict provenance friendly way☆12Oct 16, 2022Updated 3 years ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated 8 months ago
- Multi-language utils for representing a screenplay, including parsing and writing the Fountain scriptwriting format and the Final Draft (…☆13Jan 5, 2026Updated 2 months ago
- A functional scripting language.☆17Jan 18, 2025Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Official Articblush GTK theme☆10Nov 13, 2022Updated 3 years ago
- Tool to process Signum! 1/2 document files (*.SDO)☆10Feb 7, 2026Updated last month
- Rasterization using compute shaders☆23Jul 12, 2024Updated last year
- 16-bit fantasy computer☆26Mar 2, 2024Updated 2 years ago
- ☆27Oct 8, 2022Updated 3 years ago
- German enigma machine implemented with pure functional programming☆19Oct 26, 2020Updated 5 years ago
- ☆13Sep 29, 2021Updated 4 years ago
- Add types to your macros arguments in Rust☆13Oct 14, 2022Updated 3 years ago
- A programming language made in Python☆58Dec 29, 2023Updated 2 years ago