athas / aoc22

Related projects: ⓘ

• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆85Updated last week
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆40Updated 11 months ago
• vmchale / apple
  Apple array system
  ☆53Updated this week
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆99Updated 3 weeks ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆49Updated last year
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• RubenVerg / tinyapl
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆29Updated last week
• caius-iulius / spinnaker
  ☆27Updated 11 months ago
• qdbplang / qdbp
  ☆51Updated 3 weeks ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆36Updated 9 months ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆21Updated 3 weeks ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 6 months ago
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆11Updated last week
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 6 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆16Updated 2 years ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆64Updated 7 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆29Updated 4 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆63Updated 8 months ago
• zdimension / macro-forth
  Compile-time const Forth evaluation with macros
  ☆34Updated last year
• typeswitch-dev / yotta
  ☆53Updated 4 months ago
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated last month
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆23Updated 2 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆47Updated last year
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• langjam / jam0003
  ☆27Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆164Updated this week
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆30Updated 7 months ago