marvinborner / birb

Related projects: ⓘ

• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 2 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆85Updated last week
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆21Updated 3 weeks ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆73Updated this week
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆17Updated 2 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated this week
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated 8 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆94Updated last month
• pimlu / fractran
  World's fastest FRACTRAN interpeter
  ☆11Updated last year
• cole-k / call-by-push-block
  ⛳ Sokoban game in 10 lines of Haskell
  ☆27Updated last year
• athas / aoc22
  Advent of Futhark
  ☆13Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆41Updated last week
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆16Updated 2 years ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆43Updated 5 months ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 3 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆89Updated 3 years ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated 11 months ago
• TodePond / MotherTode
  language language
  ☆21Updated last year
• TodePond / Arroost
  arrows in arrows in arrows
  ☆100Updated 6 months ago
• vmchale / apple
  Apple array system
  ☆53Updated this week
• bf-enterprise-solutions / ed.bf
  Infinitely configurable integrated IDE and text editor
  ☆97Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆57Updated this week
• qdbplang / qdbp
  ☆51Updated 3 weeks ago
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated last month
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆76Updated 2 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 8 months ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆31Updated 2 years ago
• langjam / jam0002
  ☆38Updated 2 years ago