mflatt / gc-demoView external linksLinks
☆88Nov 30, 2020Updated 5 years ago
Alternatives and similar repositories for gc-demo
Users that are interested in gc-demo are comparing it to the libraries listed below
Sorting:
- ☆65Nov 8, 2016Updated 9 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Dec 11, 2025Updated 2 months ago
- ☆41Jun 9, 2025Updated 8 months ago
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated last year
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ☆18Apr 17, 2023Updated 2 years ago
- ☆11Apr 19, 2019Updated 6 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 4 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- The networking library that Racketeers deserve☆14Jan 4, 2018Updated 8 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- A zipper library for Racket☆20May 1, 2016Updated 9 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 5 months ago
- ☆24Feb 26, 2023Updated 2 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Feb 3, 2026Updated last week
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- Idris, but it's C☆24May 25, 2018Updated 7 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 8 years ago
- software archaeology of reflective towers of interpreters☆16Jun 6, 2025Updated 8 months ago
- ☆12Jul 1, 2025Updated 7 months ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Larceny Scheme implementation☆209Sep 8, 2017Updated 8 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 2 months ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆368May 1, 2021Updated 4 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Aug 27, 2018Updated 7 years ago