Alternatives and similar repositories for Izhora

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

• kspalaiologos / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• AshleyF / Lispkit
  Lispkit Lisp/SECD Machine
  ☆12Updated 7 years ago
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆23Updated 2 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 6 months ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆64Updated this week
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• sqrt57 / x86-scheme
  Implementation of Scheme programming language in assembly
  ☆25Updated 7 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 8 years ago
• bernd-ulmann / lang5
  Stack oriented language with many APL-like features.
  ☆34Updated 2 years ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 11 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 11 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated last month
• hww / makerlisp
  https://makerlisp.com/
  ☆20Updated 4 years ago
• Robert-van-Engelen / lisp-cheney
  A mini Lisp in 1k lines of C with Cheney's copying garbage collector, explained. Includes over 40 built-in Lisp primitives, floating poin…
  ☆40Updated last week
• AshleyF / TransForth
  Forth interpreter in F#
  ☆17Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• stchang / mlish
  ☆22Updated 5 years ago
• AshleyF / Forthkit
  Inspired by Lispkit Lisp, this is a series of DIY Forths
  ☆38Updated 3 months ago
• OpenProgger / LISP
  Minimal LISP Compiler for x86_64
  ☆12Updated 3 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• mbillingr / lisp-in-small-pieces
  Working through the Book Lisp In Small Pieces
  ☆13Updated 3 years ago
• AndreiDuma / SmithForth_RISC-V
  An accessible Forth written in machine code for the RISC-V architecture.
  ☆15Updated 10 months ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated last month
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 5 months ago
• carld / lispkit
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆54Updated last year