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:
- My Own Linear Lisp☆40Updated 6 years ago
- ☆86Updated 4 years ago
- #lang for writing C code☆14Updated 8 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- ☆19Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- ☆22Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- ☆36Updated 2 weeks ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- MLpolyR☆7Updated 8 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- A collection of programming languages and type systems.☆33Updated 2 weeks ago
- ☆19Updated 2 weeks ago
- ☆14Updated 2 weeks ago
- Scheme on SECD☆42Updated 4 years ago
- N2O: Standard ML Application Server☆19Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last week
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago