Alternatives and similar repositories for ski-in-asm:

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

• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• thamugadi / call-cc-krivine
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆14Updated 11 months ago
• gelisam / typechecker-combinators
  ☆16Updated 10 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 3 months ago
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆21Updated 5 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• 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
• atennapel / qtt-ts
  Implementation of Quantitative Type Theory (in TypeScript)
  ☆12Updated 4 years ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated last week
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• hanleyc01 / rkttt
  ☆12Updated last year
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• AndrasKovacs / universes
  Generalized syntax & semantics for universe hierarchies
  ☆29Updated last year
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• gbaz / mess
  Martin-Löf Extensible Specification and Simulator
  ☆29Updated 9 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated 2 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆12Updated last year
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆15Updated last year
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• gergoerdi / interaction-nets
  Haskell implementation of interaction net-based lambda evaluation
  ☆18Updated 8 years ago