Alternatives and similar repositories for minilog:

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

• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 3 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 5 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 8 months ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 9 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆24Updated 4 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆27Updated last week
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆27Updated last week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 5 months ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆16Updated 3 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆30Updated this week
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago