Alternatives and similar repositories for ctp

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

• michaelballantyne / syntax-spec

  View on GitHub
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Oct 14, 2025Updated 4 months ago
• pmatos / racket-news

  View on GitHub
  Repository for the Racket News Website
  ☆11Feb 14, 2025Updated 11 months ago
• hanleyc01 / rkttt

  View on GitHub
  ☆12Jun 13, 2023Updated 2 years ago
• samdphillips / rhombus-examples

  View on GitHub
  Some code in the Rhombus/Shrubbery prototype
  ☆12Dec 9, 2024Updated last year
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• sorawee / racket-analysis

  View on GitHub
  Analysis of Racket code base
  ☆14Aug 27, 2020Updated 5 years ago
• florence / diagrama

  View on GitHub
  A diagram drawing library for Racket
  ☆20Dec 16, 2020Updated 5 years ago
• shriram / racket-embed-images-in-source-text

  View on GitHub
  Reader to enable embedding images in source files as text
  ☆22Dec 22, 2024Updated last year
• racket / rackunit

  View on GitHub
  ☆19Jan 16, 2026Updated 3 weeks ago
• samth / fancy-app

  View on GitHub
  A Scala-style magic function application form
  ☆43Jul 31, 2022Updated 3 years ago
• Metaxal / quickscript

  View on GitHub
  Easy scripting for DrRacket
  ☆18Nov 21, 2025Updated 2 months ago
• benknoble / frosthaven-manager

  View on GitHub
  GUI Frosthaven Scenario Manager
  ☆17Feb 7, 2026Updated last week
• jackfirth / racket-mock

  View on GitHub
  Mocking library for Racket
  ☆22Oct 23, 2020Updated 5 years ago
• ionathanch / TTBFL

  View on GitHub
  A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
  ☆22Jan 28, 2026Updated 2 weeks ago
• stamourv / partial-evaluation-tutorial

  View on GitHub
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Aug 7, 2012Updated 13 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• soegaard / super

  View on GitHub
  Adds syntax to racket languages
  ☆11Aug 17, 2022Updated 3 years ago
• michaelballantyne / ee-lib

  View on GitHub
  ☆12Jun 7, 2024Updated last year
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• michaelballantyne / miniKanren-occurrence-type-inferencer

  View on GitHub
  ☆13Mar 2, 2015Updated 10 years ago
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago
• punkdit / huygens

  View on GitHub
  ☆11Nov 7, 2025Updated 3 months ago
• ionathanch / scraps

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

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• batterseapower / chsc

  View on GitHub
  The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
  ☆23Mar 30, 2011Updated 14 years ago
• JonasHoefer / poset-type-theory

  View on GitHub
  Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
  ☆13Aug 19, 2024Updated last year
• samth / git-slice

  View on GitHub
  Slicing git repositories.
  ☆22May 21, 2018Updated 7 years ago
• sto0pkid / swipl-tt

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

  View on GitHub
  Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …
  ☆11Sep 21, 2021Updated 4 years ago
• alanz / incremental-play

  View on GitHub
  Playing with incremental parsing and later compiler passes
  ☆12Dec 12, 2018Updated 7 years ago
• scmlab / gcl

  View on GitHub
  backend of Guabao
  ☆13Sep 3, 2024Updated last year
• syntax-objects / Summer2021

  View on GitHub
  Syntax Parse Bee 2021
  ☆11Nov 7, 2022Updated 3 years ago
• dannypsnl / k

  View on GitHub
  k theorem prover
  ☆11Aug 16, 2022Updated 3 years ago
• Kraks / MyPLZoo

  View on GitHub
  Implementations of various toy programming languages
  ☆12Apr 19, 2018Updated 7 years ago
• uds-psl / CoqTM

  View on GitHub
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Jul 5, 2023Updated 2 years ago
• dhil / pthandlers

  View on GitHub
  an encoding of affine effect handlers using pthreads
  ☆14Nov 15, 2022Updated 3 years ago
• eutro / gdlisp

  View on GitHub
  ☆16Nov 6, 2022Updated 3 years ago
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago