Smalltalk like programming language
☆68Mar 2, 2026Updated last week
Alternatives and similar repositories for Niva
Users that are interested in Niva are comparing it to the libraries listed below
Sorting:
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated last year
- programming language☆25Sep 22, 2025Updated 5 months ago
- A context-oriented programming language with support for multiple programming paradigms with a focus on context oriented programming.☆14Feb 25, 2026Updated last week
- 64-bit RISC CPU Architecture☆22Feb 27, 2026Updated last week
- Run code from many programming languages in Discord!☆18Jun 16, 2024Updated last year
- A functional scripting language.☆17Jan 18, 2025Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- Atlas77 is a programming language in development written in Rust☆44Feb 19, 2026Updated 2 weeks ago
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 4 months ago
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 4 months ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- A code-running bot.☆10Jan 26, 2026Updated last month
- A functional programming language☆15Jul 23, 2025Updated 7 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆112Aug 4, 2025Updated 7 months ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated 7 months ago
- Lua implemented in Mercury☆15Mar 17, 2024Updated last year
- Fyne GUI library with Rye language.☆15Feb 17, 2026Updated 2 weeks ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- ☆14Nov 4, 2025Updated 4 months ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 10 months ago
- A ML-family Language Compiled to Lua☆149Feb 21, 2026Updated 2 weeks ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Feb 26, 2026Updated last week
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 months ago
- A graphing application built with owlkettle☆30Dec 27, 2024Updated last year
- Pretty printer for Nim used for debugging.☆57Nov 16, 2024Updated last year
- ImageMagick wrapper for Nim (MagickCore/MagickWand)☆30Aug 3, 2020Updated 5 years ago
- ☆60Apr 25, 2024Updated last year
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18May 22, 2023Updated 2 years ago
- A commandline tool for performing text-wrapping☆17Sep 21, 2024Updated last year
- ☆17Apr 4, 2024Updated last year
- Self-hosted SDK for XR/station☆14Feb 20, 2026Updated 2 weeks ago
- 👌 A smol functional language that targets other languages☆66Jan 17, 2024Updated 2 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 7 months ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago