lambduli / monolog

Related projects: ⓘ

• lambduli / frea
  A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
  ☆17Updated 3 years ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated 4 months ago
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 2 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆19Updated 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
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆11Updated 9 months ago
• Mathnerd314 / stroscot
  The Stroscot Programming Language
  ☆13Updated 8 months ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆26Updated 4 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆22Updated 3 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆13Updated last year
• acorrenson / owl
  A mini language for logic programming
  ☆22Updated 4 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 2 years ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆14Updated 5 months ago
• john-ml / edsger
  ☆14Updated this week
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆10Updated 11 months ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆11Updated 2 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated 10 months ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 years ago
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 2 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆12Updated 3 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated last year
• 3c1u / maysick
  A Programming language of directories. Just for fun.
  ☆13Updated last year
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated last year
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• johnli0135 / redox-lang
  ☆25Updated this week
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 8 years ago
• aionescu / oplang
  Stack-based esoteric programming language
  ☆17Updated 3 months ago