Sinister's Scheme Compiler!
☆24Oct 6, 2022Updated 3 years ago
Alternatives and similar repositories for SinScheme
Users that are interested in SinScheme are comparing it to the libraries listed below
Sorting:
- ☆12Mar 15, 2021Updated 4 years ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Static site generator☆12Apr 6, 2025Updated 10 months ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Web browser remote control☆16Jan 29, 2023Updated 3 years ago
- Journey to the Center of the Lambda Calculus☆14Aug 31, 2023Updated 2 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 6 years ago
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- My little polygon for common lisp adventures (games and experiments)☆18Jul 12, 2017Updated 8 years ago
- Efficient binder representation in OCaml☆43Jul 5, 2024Updated last year
- A redis client for Racket.☆17May 16, 2015Updated 10 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆68Oct 16, 2023Updated 2 years ago
- Functional interfaces and datatypes for Racket☆43Jul 1, 2021Updated 4 years ago
- Probabilistic Programming☆44Oct 18, 2025Updated 4 months ago
- An Object/Relational Mapper for Racket☆24Mar 10, 2021Updated 4 years ago
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- A simple compiler for a simple imperative language, written in OCaml☆25Jan 31, 2019Updated 7 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years ago
- A VHDL code generator for wallace tree multiplier☆10Apr 15, 2020Updated 5 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Thoughts and stuff☆72Apr 30, 2020Updated 5 years ago
- Chez Scheme☆109Oct 17, 2023Updated 2 years ago
- MathLib DAC 2023 version☆13Sep 11, 2023Updated 2 years ago
- A client for the Lacuna Expanse☆43Nov 22, 2019Updated 6 years ago
- Js_of_ocaml bindings to JS Promises with supplemental functions☆30Jan 15, 2025Updated last year
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 5 months ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Ordo: A minimalist language with row polymorphism☆86Feb 3, 2026Updated last month
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Photonic and metamaterials calculations☆13Jan 2, 2026Updated 2 months ago
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆39Mar 30, 2018Updated 7 years ago
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 3 months ago