playXE/cgc external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

playXE/cgc

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/playXE/cgc)

Close

playXE / cgcView on GitHubMore

• External links
• Readme badge

Copying Garbage Collector

☆14May 13, 2020Updated 5 years ago

Alternatives and similar repositories for cgc

Users that are interested in cgc are comparing it to the libraries listed below

• playXE / garbage-collector

  View on GitHub
  Garbage collector implementation in Rust for Rust
  ☆13Aug 30, 2020Updated 5 years ago
• jazz-lang / JazzLight

  View on GitHub
  Simple and clear embedabble programming language
  ☆19Apr 3, 2023Updated 2 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• Kixiron / sruth

  View on GitHub
  Sruth Lùbach: A toy optimization engine
  ☆23Jun 7, 2021Updated 4 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• ncfavier / agda-stuff

  View on GitHub
  My Agda blog/lab/playground
  ☆12Feb 12, 2026Updated 3 weeks ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated 3 weeks ago
• bmourad01 / ocamlchess

  View on GitHub
  UCI-compatible chess engine in OCaml.
  ☆14Apr 20, 2025Updated 10 months ago
• idris-bayes / melocule

  View on GitHub
  Probabilistic music composition in Idris2
  ☆16Dec 23, 2022Updated 3 years ago
• Techno-coder / lexica

  View on GitHub
  Reversible programming language
  ☆12Dec 7, 2019Updated 6 years ago
• sabauma / agda-relation-algebra

  View on GitHub
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆13Oct 9, 2023Updated 2 years ago
• UlfNorell / quasi-quote

  View on GitHub
  Quasi-quoting library for agda
  ☆18Nov 29, 2024Updated last year
• DekuJuice / CoffeeEngine

  View on GitHub
  ☆12Oct 2, 2020Updated 5 years ago
• robrix / silkscreen

  View on GitHub
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Feb 27, 2022Updated 4 years ago
• Myrannas / glide

  View on GitHub
  Glide is an interpreted javascript VM written entirely in safe rust.
  ☆16Sep 25, 2023Updated 2 years ago
• TheDan64 / limonite

  View on GitHub
  [WIP] Compiler for the Limonite programming language.
  ☆15Jul 7, 2022Updated 3 years ago
• cedille / cedille-cast

  View on GitHub
  Source files used for the Cedille Cast videos
  ☆13Dec 28, 2025Updated 2 months ago
• mb64 / LC-interpreter

  View on GitHub
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆32Jan 11, 2022Updated 4 years ago
• nilq / hugorm

  View on GitHub
  🐍 A Python-like scripting language
  ☆32Jun 8, 2020Updated 5 years ago
• webyrd / curnelo

  View on GitHub
  Cur dependently-typed language in miniKanren.
  ☆17Jan 26, 2018Updated 8 years ago
• Chaaaos / formaltt

  View on GitHub
  Formalization of type theory
  ☆22Jul 5, 2021Updated 4 years ago
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆20Oct 6, 2023Updated 2 years ago
• TOTBWF / agda-sgd

  View on GitHub
  Experiments in Synthetic Differential Geometry
  ☆16Jul 1, 2021Updated 4 years ago
• rudymatela / express

  View on GitHub
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Jan 30, 2025Updated last year
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• skogsbaer / roundtrip

  View on GitHub
  Roundtrip allows the definition of bidirectional (de-)serialization specifications
  ☆16Oct 16, 2024Updated last year
• tlringer / thesis

  View on GitHub
  haha I'm graduating
  ☆14Jul 22, 2021Updated 4 years ago
• slmjkdbtl / dirty_rust

  View on GitHub
  dirty toolkit
  ☆20Nov 1, 2020Updated 5 years ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• samskivert / compose

  View on GitHub
  An experimental programming language.
  ☆19May 16, 2019Updated 6 years ago
• AliasQli / tactics

  View on GitHub
  ☆16Mar 11, 2022Updated 3 years ago
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 3 months ago