Alternatives and similar repositories for noulith

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

• betaveros / advent-of-code-2022
  actually publishing my solutions now that they're not redundant...
  ☆210Updated 2 years ago
• langjam / langjam
  ☆1,011Updated 2 years ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,357Updated 2 months ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,129Updated 3 months ago
• uiua-lang / uiua
  A stack-based array programming language
  ☆1,851Updated this week
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,075Updated 10 months ago
• jesseduffield / OK
  Welcome to the future of programming languages: OK?
  ☆566Updated 2 months ago
• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆513Updated this week
• mlochbaum / BQN
  An APL-like programming language
  ☆980Updated 2 weeks ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆661Updated 2 years ago
• jfecher / ante
  A safe, easy systems language
  ☆2,080Updated last month
• kneasle / sapling
  A highly experimental vi-inspired editor where you edit code, not text.
  ☆749Updated 5 months ago
• adam-mcdaniel / sage
  A programming language that's wise beyond its bytes!🌱🌿🪴
  ☆515Updated last month
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆286Updated this week
• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,904Updated last year
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆825Updated last year
• hirrolot / datatype99
  Algebraic data types for C99
  ☆1,421Updated 3 months ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆439Updated 2 months ago
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆1,174Updated this week
• liam-ilan / crumb
  The Crumb Programming Language
  ☆430Updated 4 months ago
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,324Updated this week
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆261Updated last year
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆621Updated last week
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆770Updated last month
• orlp / glidesort
  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
  ☆1,636Updated 2 years ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆283Updated last week
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆569Updated 4 years ago
• ajeetdsouza / loxcraft
  Language tooling for the Lox programming language.
  ☆315Updated 4 months ago
• hylo-lang / hylo
  The Hylo programming language
  ☆1,368Updated this week
• nota-lang / nota
  A document language for the browser
  ☆707Updated last year