zwade / Befungell

Related projects: ⓘ

• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated 10 months ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 3 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆17Updated 5 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆36Updated 6 years ago
• beastaugh / hatt
  Truth-table generator for classical propositional logic
  ☆26Updated 3 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆71Updated 7 months ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆52Updated 5 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 6 years ago
• m-ender / labyrinth
  A two-dimensional programming language.
  ☆54Updated 8 years ago
• 0x0f0f0f / gobba
  A purely functional dynamically typed programming language.
  ☆56Updated 3 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆76Updated 5 years ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆27Updated 2 years ago
• plt-amy / ahc
  ☆20Updated this week
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated 10 months ago
• iitalics / Opal
  Simple and powerful programming language with type inference
  ☆24Updated 7 years ago
• nickbclifford / Ohm
  A stack-oriented golfing language inspired by 05AB1E and Jelly.
  ☆25Updated 6 years ago
• janestreet / shell
  Yet another implementation of fork&exec and related functionality
  ☆11Updated 3 weeks ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 6 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆74Updated 3 years ago
• DennisMitchell / sesos
  ☆14Updated 8 years ago
• johnli0135 / redox-lang
  ☆25Updated this week
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆45Updated 3 years ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆34Updated 2 months ago
• catseye / Funge-98
  MIRROR of https://codeberg.org/catseye/Funge-98 : The Funge-98 specification in all its gory
  ☆32Updated 5 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆11Updated 8 years ago
• serprex / Rue
  lang Thue + Regex
  ☆13Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• dobesv / charity
  Charity Programming Language
  ☆37Updated 9 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 8 years ago