madlib-lang / madlib

Related projects ⓘ

Alternatives and complementary repositories for madlib

• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆55Updated 2 years ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆92Updated last month
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆51Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆65Updated 9 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 2 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 8 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated last week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆159Updated 3 weeks ago
• langjam / jam0002
  ☆38Updated 2 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆95Updated 7 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆70Updated 5 months ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆41Updated last year
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated 10 months ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated 3 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆80Updated 4 months ago
• fir-lang / fir
  ☆25Updated last week
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• escalier-lang / escalier
  A compile-to-JavaScript language with tight TypeScript integration.
  ☆21Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 3 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆34Updated last month
• dibsonthis / Glide--old
  Glide programming language
  ☆41Updated last year
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆58Updated this week
• nikodemus / foolang
  A toy programming language.
  ☆37Updated 10 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆30Updated 4 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated 2 weeks ago