Alternatives and similar repositories for ski

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

• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆58Updated last month
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆73Updated 8 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆137Updated 5 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 2 months ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆43Updated 7 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆71Updated 2 weeks ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 3 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 9 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆37Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated 3 weeks ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆31Updated 4 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 years ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆61Updated 4 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆41Updated last month
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated 2 years ago