Alternatives and similar repositories for Befungell:

Users that are interested in Befungell are comparing it to the libraries listed below

• serprex / Rue
  lang Thue + Regex
  ☆14Updated 2 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated 6 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆37Updated 7 years ago
• DennisMitchell / sesos
  ☆14Updated 8 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆76Updated this week
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 2 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆39Updated 3 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆44Updated 5 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 9 months ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆49Updated 3 months ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆19Updated last week
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated last year
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆33Updated last year
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 3 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆88Updated 6 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆11Updated 3 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆33Updated 6 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 2 years ago