Alternatives and similar repositories for NovaLang

Users that are interested in NovaLang are comparing it to the libraries listed below

• zesterer / leon

  View on GitHub
  A lightweight scripting language for Rust
  ☆21Mar 7, 2020Updated 5 years ago
• GeorgeKT / menhir-lang

  View on GitHub
  Experiments with llvm to create a toy programming language
  ☆25Nov 30, 2024Updated last year
• playXE / garbage-collector

  View on GitHub
  Garbage collector implementation in Rust for Rust
  ☆13Aug 30, 2020Updated 5 years ago
• bgavran / DependentOpticsIdris2

  View on GitHub
  ☆11Jul 2, 2024Updated last year
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated 11 months ago
• Techno-coder / lexica

  View on GitHub
  Reversible programming language
  ☆12Dec 7, 2019Updated 6 years ago
• TheDan64 / limonite

  View on GitHub
  [WIP] Compiler for the Limonite programming language.
  ☆15Jul 7, 2022Updated 3 years ago
• raphlinus / r6502

  View on GitHub
  A cycle accurate emulator for the 6502 microprocessor
  ☆17Oct 1, 2023Updated 2 years ago
• chklauser / rust-nvm

  View on GitHub
  A toy byte-code virtual machine written in Rust
  ☆15Dec 9, 2016Updated 9 years ago
• strega-nil / cafe-rs

  View on GitHub
  café, a systems language
  ☆19Feb 25, 2018Updated 7 years ago
• orlp / pyth5

  View on GitHub
  Clean-sheet rewrite of Pyth.
  ☆13Sep 1, 2015Updated 10 years ago
• jDomantas / plank

  View on GitHub
  ☆60Aug 18, 2021Updated 4 years ago
• epfldata / dbstage

  View on GitHub
  ☆15Jun 18, 2020Updated 5 years ago
• transistorfet / molten

  View on GitHub
  An LLVM compiler for an ML-like language (written in Rust)
  ☆62Feb 28, 2022Updated 3 years ago
• sophiajt / peach

  View on GitHub
  ☆20Sep 1, 2018Updated 7 years ago
• cwbriones / rlox

  View on GitHub
  A rust interpreter for the Lox language
  ☆26Apr 18, 2020Updated 5 years ago
• alexandermburke / FiveNightsAtFreddys

  View on GitHub
  The official Github Repo and Download for the FNAF Mod
  ☆10Nov 10, 2015Updated 10 years ago
• lambertjamesd / zen-lang

  View on GitHub
  An experimental language with compile time bounds checking
  ☆14Oct 27, 2019Updated 6 years ago
• ThePuzzlemaker / tethys

  View on GitHub
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Mar 4, 2024Updated last year
• 0b01 / tensorscript

  View on GitHub
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆52Apr 16, 2023Updated 2 years ago
• nikomatsakis / bidir-type-infer

  View on GitHub
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Jun 1, 2016Updated 9 years ago
• vcfxb / wright-lang

  View on GitHub
  The wright programming language (work in progress)
  ☆23Jan 17, 2026Updated last month
• exists-forall / nickel

  View on GitHub
  A safe and efficient target language for functional compilers
  ☆20May 5, 2018Updated 7 years ago
• samrat / rusl

  View on GitHub
  A toy Lisp compiler targeting x86-64
  ☆40Mar 10, 2020Updated 5 years ago
• AaronStGeorge / cat-lox

  View on GitHub
  A tree-walk lox interpreter written in Rust.
  ☆20Apr 1, 2018Updated 7 years ago
• eko-lang / eko

  View on GitHub
  📇 Compiler and engine
  ☆19May 8, 2023Updated 2 years ago
• bryal / kvasir

  View on GitHub
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Apr 13, 2022Updated 3 years ago
• iwillspeak / ullage

  View on GitHub
  A statically-typed compiled language defined by a simple grammar
  ☆24Aug 28, 2022Updated 3 years ago
• bkero / es4

  View on GitHub
  es4 clone
  ☆27Feb 27, 2014Updated 11 years ago
• brendanzab / rust-nbe-for-mltt

  View on GitHub
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆101Jun 8, 2022Updated 3 years ago
• bryal / carth

  View on GitHub
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Sep 25, 2023Updated 2 years ago
• alexcrichton / nghttp2-rs

  View on GitHub
  ☆25Updated this week
• wongjiahau / Pineapple

  View on GitHub
  Definition for Pineapple language and its compiler
  ☆25Nov 9, 2018Updated 7 years ago
• sunverwerth / strela

  View on GitHub
  A static strongly typed object oriented programming language with focus on composition
  ☆23Aug 25, 2020Updated 5 years ago
• alexcrichton / jba

  View on GitHub
  Javascript Gameboy
  ☆46Jan 11, 2016Updated 10 years ago
• droyo / APL

  View on GitHub
  UTF8 APL interpreter
  ☆25Mar 12, 2017Updated 8 years ago
• playXE / Jazz

  View on GitHub
  Jazz - register-based virtual machine and programming language
  ☆27Jan 14, 2019Updated 7 years ago
• rust-lang / gccjit.rs

  View on GitHub
  Rust bindings for libgccjit
  ☆30Jan 30, 2026Updated 2 weeks ago
• artagnon / bonak

  View on GitHub
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆30Updated this week