Alternatives and similar repositories for Izhora

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

• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• dicpeynado / prolog-in-forth
  L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.
  ☆16Updated 4 years ago
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated 11 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆60Updated 6 months ago
• UberPyro / Prowl-Ideas-Pile
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆11Updated last year
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆38Updated 5 years ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 9 months ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• aionescu / oplang
  Stack-based esoteric programming language
  ☆18Updated 10 months ago
• lynn / universal-lambda
  A minimal esolang based on lambda calculus
  ☆16Updated 4 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆25Updated last month
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆32Updated last month
• 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 6 years ago
• tangentstorm / b4
  b4 : a tiny forth-like virtual machine
  ☆40Updated this week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• AshleyF / TransForth
  Forth interpreter in F#
  ☆18Updated 2 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 6 months ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 4 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• dmbaturin / hope
  Hope programming language interpreter
  ☆42Updated 6 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 8 months ago