sinistersnare / SinSchemeLinks
Sinister's Scheme Compiler!
☆24Updated 2 years ago
Alternatives and similar repositories for SinScheme
Users that are interested in SinScheme are comparing it to the libraries listed below
Sorting:
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- ☆87Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆44Updated 7 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- ☆138Updated 3 years ago
- ☆19Updated 2 years ago
- My Own Linear Lisp☆41Updated 6 years ago
- #lang for writing C code☆15Updated 8 years ago
- ☆14Updated this week
- Nanopass for OCaml☆147Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- ☆37Updated this week
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Parallel ML compiler☆73Updated 5 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- SML reference interpreter☆116Updated 3 weeks ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- ☆19Updated this week
- SKI combinators☆55Updated 8 years ago
- ☆79Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 11 years ago
- Hope programming language interpreter☆41Updated 2 months ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Magnolisp, a toy programming language☆17Updated last year