ashton314 / lambda-x86Links
Lambda Calculus compiler targeting x86, written in Racket
☆10Updated 5 years ago
Alternatives and similar repositories for lambda-x86
Users that are interested in lambda-x86 are comparing it to the libraries listed below
Sorting:
- Emacs major mode for Dyalog APL☆15Updated 2 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- ☆17Updated last year
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- Use Python from Racket☆33Updated 10 months ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Updated 8 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 6 months ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Scripts for Quickscript☆10Updated 2 months ago
- ☆22Updated last week
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆16Updated 3 years ago
- ☆37Updated last month
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 8 years ago
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- A neural network written in pure Lisp without built-in numbers☆39Updated 3 years ago
- an implementation of gradual typing in mit-scheme☆9Updated 4 years ago
- R7RS/R6RS Scheme Implementation☆62Updated last year
- cli-command template☆19Updated 9 months ago
- My Own Linear Lisp☆40Updated 6 years ago
- Original Joy☆10Updated 6 months ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- A metacircular LC3 implementation☆10Updated 3 years ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- The package manager for Cyclone Scheme.☆32Updated last year
- ☆22Updated 5 years ago