Alternatives and similar repositories for futball

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

• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 8 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated last month
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆32Updated 2 weeks ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• hmac / kite
  A Haskell-like language for scripting and web apps
  ☆13Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆15Updated last year
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 9 months ago
• henrikurms / tail2futhark
  ☆19Updated 7 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated 3 weeks ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 3 months ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 6 months ago