Alternatives and similar repositories for lc-apl:

Users that are interested in lc-apl are comparing it to the libraries listed below

• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 7 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆13Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆29Updated this week
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆52Updated 2 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 4 months ago
• Armael / conch
  ☆24Updated 3 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆88Updated 4 years ago
• kspalaiologos / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆18Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated 3 weeks ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆29Updated 10 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆104Updated 2 years ago
• lynn / universal-lambda
  A minimal esolang based on lambda calculus
  ☆16Updated 4 years ago
• kspalaiologos / yarg
  Yet another UNIX-like argument parser for C. CC0-licensed.
  ☆16Updated 3 months ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated last year
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 10 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆25Updated 4 months ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆13Updated 3 weeks ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆74Updated 5 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year