A toy programming language that keeps it minimal
☆143Mar 9, 2017Updated 9 years ago
Alternatives and similar repositories for kimi
Users that are interested in kimi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- General purpose, statically typed, functional programming language☆14Aug 10, 2026Updated 2 weeks ago
- The Jam Programming Language☆25Jun 8, 2017Updated 9 years ago
- A programming language.☆13Aug 4, 2025Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 14 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Nylo's programming language interpreter.☆22Aug 24, 2020Updated 6 years ago
- simple and fast scripting language☆42Apr 15, 2021Updated 5 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago
- 🎞 Animate from one string to another.☆12Apr 30, 2022Updated 4 years ago
- Implementations of common data structures in C☆17Jul 20, 2022Updated 4 years ago
- A strongly-typed, polyglot compiler☆216Updated this week
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- lisp for bears☆13Jun 26, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- a simple lightweight workflow engine for data analysis scripting☆11Sep 5, 2019Updated 6 years ago
- Atiny is a simple compiler for a ML like language☆11Aug 16, 2023Updated 3 years ago
- Python interpreter implementation of the Jink programming language.☆19Jun 3, 2024Updated 2 years ago
- Python-like programming language interpreter written in Python☆106Jun 30, 2017Updated 9 years ago
- Io ported to WebAssembly using emscripten☆13Jul 24, 2023Updated 3 years ago
- An async allocator with Fun™️ unsafe Rust☆18Jun 4, 2023Updated 3 years ago
- Borrowchecker in Zig☆119Feb 4, 2023Updated 3 years ago
- Yet another implementation of missing functions for Python☆20May 6, 2017Updated 9 years ago
- small programming language. pls be gentle.☆38Aug 4, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆81Jan 20, 2022Updated 4 years ago
- 🍖 ham, general purpose programming language☆22Jul 19, 2021Updated 5 years ago
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Jul 27, 2018Updated 8 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Apr 13, 2020Updated 6 years ago
- Like PlaceCage, but for Bill Murray☆12Aug 1, 2018Updated 8 years ago
- dotink (.ink) is the Ink programming language's blog, and my general technical blog☆14Jul 22, 2022Updated 4 years ago
- Parser combinators for JS☆13Aug 25, 2015Updated 11 years ago
- ☆20Aug 27, 2020Updated 6 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.
- Pratt Top-down Operator Precedence Example in Go☆40Mar 11, 2021Updated 5 years ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 4 years ago
- ☆19Aug 13, 2026Updated 2 weeks ago
- Build Linux .AppImage package☆15Oct 8, 2025Updated 10 months ago
- Low-level hobby programming language that compiles to 16-bit x86 assembly.☆43May 13, 2015Updated 11 years ago
- A simple, purely-functional programming language☆25Jun 11, 2022Updated 4 years ago