A toy programming language that keeps it minimal
☆142Mar 9, 2017Updated 8 years ago
Alternatives and similar repositories for kimi
Users that are interested in kimi are comparing it to the libraries listed below
Sorting:
- General purpose, statically typed, functional programming language☆14Dec 6, 2025Updated 2 months ago
- A new generic object oriented programming language.☆10Jan 6, 2026Updated last month
- A set of visualization engines.☆14Feb 25, 2026Updated last week
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 2 weeks ago
- A programming language.☆13Aug 4, 2025Updated 7 months ago
- Like PlaceCage, but for Bill Murray☆12Aug 1, 2018Updated 7 years ago
- An esoteric programming language based on marble circuitry☆14Sep 18, 2023Updated 2 years ago
- Testing language concurrency primitives with a file line counter☆11Oct 5, 2018Updated 7 years ago
- Gura Programming Language☆44May 9, 2020Updated 5 years ago
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- 𝐧𝐝 A small programming language with an interpreter, and a WebAssembly compiler.☆15Jun 8, 2024Updated last year
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- YAHW - Yet Another Hardware Monitor based on OpenHardwareMonitor with WPF-UI☆10Nov 27, 2015Updated 10 years ago
- Click here ->☆13Nov 5, 2016Updated 9 years ago
- a JVM bytecode assembler☆34Apr 2, 2019Updated 6 years ago
- Implementations of common data structures in C☆16Jul 20, 2022Updated 3 years ago
- A MiniKanren in Python☆36Jul 15, 2016Updated 9 years ago
- A command line password manager☆11Mar 25, 2022Updated 3 years ago
- Io ported to WebAssembly using emscripten☆13Jul 24, 2023Updated 2 years ago
- nmi display animations aimed to correct users who accidentally enter nmi instead of nim. nmi is heavily inspired by sl .☆13Jul 29, 2020Updated 5 years ago
- ☆18Jul 2, 2024Updated last year
- Mini: Interpreter and a programming language implemented in Python☆146Dec 10, 2015Updated 10 years ago
- Untyped Concatenative Calculus☆19Dec 25, 2021Updated 4 years ago
- analysing r/place☆13Apr 3, 2017Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- World's best progamming language☆16Nov 20, 2019Updated 6 years ago
- A typed, polyglot, functional language☆212Updated this week
- My Nim solutions for Advent of Code 2018☆13Nov 29, 2024Updated last year
- https://api.l3x.in source code☆18Sep 25, 2021Updated 4 years ago
- python learning experiment - generates a random news article based on the style of the input set of data☆14Nov 5, 2012Updated 13 years ago
- An HTML5 action game and interactive fiction.☆10Sep 21, 2015Updated 10 years ago
- The Converge programming language☆86Mar 4, 2020Updated 6 years ago
- Pratt Top-down Operator Precedence Example in Go☆40Mar 11, 2021Updated 4 years ago
- A pragmatic, functional systems programming language.☆43May 18, 2015Updated 10 years ago
- An Upspin installer and MacOS menu bar widget☆18Jun 26, 2023Updated 2 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- Solutions for SICP☆11Apr 5, 2018Updated 7 years ago