pimlu / fractran

Related projects ⓘ

Alternatives and complementary repositories for fractran

• Armael / conch
  ☆23Updated 3 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆21Updated 2 months ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆17Updated 7 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆20Updated 4 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆27Updated last week
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• nikodemus / foolang
  A toy programming language.
  ☆37Updated 10 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated 2 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 2 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated 10 months ago
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 5 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated last month
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆62Updated 5 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 8 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• racket / honu
  ☆18Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago