gavr123456789 / NivaView external linksLinks
Smalltalk like programming language
☆67Updated this 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 4 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 5 years ago
- A context-oriented programming language with support for multiple programming paradigms with a focus on context oriented programming.☆14Jan 20, 2026Updated 3 weeks ago
- 64-bit RISC CPU Architecture☆22Feb 8, 2026Updated last week
- Run code from many programming languages in Discord!☆18Jun 16, 2024Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated last year
- A functional scripting language.☆17Jan 18, 2025Updated last year
- Atlas77 is a programming language in development written in Rust☆44Updated this week
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 3 months ago
- A functional programming language☆15Jul 23, 2025Updated 6 months ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 2 months ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 3 months ago
- A set of tools, components, and libraries for building interactive math applications.☆14Jan 3, 2025Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Aug 4, 2025Updated 6 months ago
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 9 months ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last week
- ☆14Nov 4, 2025Updated 3 months ago
- Lua implemented in Mercury☆15Mar 17, 2024Updated last year
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated 7 months ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- A ML-family Language Compiled to Lua☆149Oct 18, 2025Updated 3 months ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Jan 28, 2026Updated 2 weeks ago
- ImageMagick wrapper for Nim (MagickCore/MagickWand)☆29Aug 3, 2020Updated 5 years ago
- Fast lookup of the Unicode General Category property for `char` in Rust.☆20Sep 16, 2025Updated 5 months ago
- Pretty printer for Nim used for debugging.☆57Nov 16, 2024Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Compiler for the fort programming language☆14Jun 30, 2025Updated 7 months ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 4 months ago
- A graphing application built with owlkettle☆30Dec 27, 2024Updated last year
- A general-purpose programming language, focused on simplicity, safety and stability.☆53Dec 15, 2025Updated 2 months ago
- A toy dependent typed language.☆36Feb 9, 2026Updated last week
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18May 22, 2023Updated 2 years ago
- Journey to the Center of the Lambda Calculus☆14Aug 31, 2023Updated 2 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- ☆60Apr 25, 2024Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago