Alternatives and similar repositories for martinaise:

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

• soil-vm / soil
  A byte code specification and a JIT-compiler written in Assembly.
  ☆12Updated 3 months ago
• MarcelGarus / plum
  A small, functional, cozy programming language.
  ☆12Updated last week
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆54Updated 2 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆29Updated this week
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 7 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• egel-lang / soul
  Soul - an esoteric concatenative language
  ☆11Updated 11 months ago
• Spydr06 / amethyst
  A small unix-like kernel and OS components based around the Shard programming language.
  ☆11Updated last week
• LunaAmora / Atiny
  Atiny is a simple compiler for a ML like language
  ☆11Updated last year
• vatsjijj / titan
  The Titan programming language.
  ☆12Updated 11 months ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆1Updated last year
• nooga / fy
  A a tiny concatenative programming language JIT compiled to aarch64 machine code.
  ☆12Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆66Updated 3 weeks ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• ziord / veb
  A delightful programming language for writing reliable software
  ☆20Updated 5 months ago
• tjammer / schmu
  programming with second class references
  ☆24Updated this week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 2 months ago
• DenialAdams / roland
  Roland programming language
  ☆62Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated last month
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆60Updated this week
• siko-lang / siko_old
  siko
  ☆14Updated last year
• ehatti / LHL
  Linearizability Hoare Logic
  ☆13Updated 3 weeks ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• Jackojc / klaxon
  Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
  ☆18Updated 2 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year