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 6 months ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated 6 years ago
• helvm / helpa
  🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell
  ☆12Updated 5 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…
  ☆59Updated 2 months ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆32Updated 11 years ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆14Updated last year
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆30Updated 11 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 6 months ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• soxfox42 / tak
  tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)
  ☆13Updated 3 months ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last year
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 3 months ago
• khayyamsaleem / gradual-typing
  an implementation of gradual typing in mit-scheme
  ☆9Updated 4 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
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 6 months ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• dloscutoff / ascii-piet
  A plain-text encoding for Piet programs
  ☆16Updated 3 years ago
• owainlewis / lambda-calculus
  Lambda calculus parser in Haskell
  ☆14Updated 8 years ago
• darrenks / atlas
  concise functionless functional esolang
  ☆14Updated 4 months ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 6 months ago