Alternatives and similar repositories for Izhora

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

• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 7 months ago
• aionescu / oplang
  Stack-based esoteric programming language
  ☆18Updated 8 months ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 4 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated 2 weeks ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Updated last year
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years 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 4 months ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated 2 weeks ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 8 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 8 years ago
• irori / unlambda
  Unlambda interpreter
  ☆11Updated last year
• owainlewis / lambda-calculus
  Lambda calculus parser in Haskell
  ☆14Updated 8 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated 4 months ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆32Updated 11 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 4 months ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 8 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated last year
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• mattpolzin / ncurses-idris
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Updated 9 months ago
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• AshleyF / TransForth
  Forth interpreter in F#
  ☆17Updated last year
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated last year
• RauliL / plorth
  Embeddable Forth inspired scripting language
  ☆37Updated 6 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago