Alternatives and similar repositories for Lcalc

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

• harryposner / schlox
  An implementation of the Lox programming language
  ☆10Updated 5 years ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated last week
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated 3 weeks ago
• rtulip / haystack
  Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.
  ☆25Updated last year
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆121Updated last month
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆31Updated 2 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆60Updated 11 months ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆82Updated 2 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated 2 months ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆106Updated 7 months ago
• cozis / Noja
  A programming language written for fun!
  ☆96Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• cerus / edina
  Edina - A simple stack-oriented compiled programming language.
  ☆13Updated 2 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆49Updated 10 months ago
• xpqz / cultivations
  APL Orchard Cultivations: https://xpqz.github.io/cultivations/
  ☆18Updated 3 years ago
• tsoding / parcoom
  Parser Combinators of Monad
  ☆39Updated 5 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 7 months ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆96Updated 3 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated last month
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆120Updated 3 weeks ago
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆16Updated 5 years ago