zwade / BefungellLinks
Effective Multi-threading in Befunge!
☆46Updated 7 years ago
Alternatives and similar repositories for Befungell
Users that are interested in Befungell are comparing it to the libraries listed below
Sorting:
- A [ functional stack ] based language.☆30Updated 2 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 8 years ago
- A package which exists solely to try and give the user a cute girl. Executable and library are both available.☆11Updated 7 years ago
- Brainfuck formalized in Coq☆31Updated 3 years ago
- TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)☆67Updated 5 months ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆79Updated 9 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Simple C Haskell Compiler☆22Updated 2 years ago
- Stack-based esoteric programming language☆18Updated 11 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 7 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- The Kleenex programming language☆56Updated last year
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Updated 2 years ago
- A Brainfuck interpreter written in Agda☆52Updated 4 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- Logic for story telling!☆36Updated 7 years ago
- Thoughts and stuff☆70Updated 5 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Updated last year
- Yoneda lemma in every known language☆17Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆41Updated 8 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated 2 months ago
- joke page until I decide what to do with this domain name☆39Updated 6 months ago