andrew-johnson-4 / LSTS

Related projects ⓘ

Alternatives and complementary repositories for LSTS

• langjam / jam0002
  ☆38Updated 2 years ago
• Laythe-lang / Laythe
  A gradually typed language originally based on the crafting interpreters series
  ☆65Updated this week
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆64Updated 4 months ago
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆42Updated last year
• caius-iulius / spinnaker
  ☆27Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated this week
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated 9 months ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆41Updated last year
• mukul-rathi / bolt-dissertation
  This repository accompanies Bolt - includes the accompanying dissertation.
  ☆40Updated 4 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆34Updated last month
• egel-lang / egel
  The Egel Programming Language
  ☆80Updated last month
• azur1s / holymer
  (WIP) A programming language
  ☆42Updated last year
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆32Updated last month
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• matklad / resilient-ll-parsing
  ☆49Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated 3 months ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆59Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated this week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated 11 months ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆113Updated 3 months ago
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆22Updated 3 weeks ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆162Updated 5 months ago
• stereobooster / write-you-a-programming-language
  List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
  ☆106Updated 3 years ago
• transistorfet / molten
  An LLVM compiler for an ML-like language (written in Rust)
  ☆56Updated 2 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆29Updated 2 weeks ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆15Updated last year
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆109Updated last week