Repositories list

• grapa-website

  Public
  Project GRAPA's website

  HTML

  •0•0•0•0•Updated Oct 10, 2024Oct 10, 2024

• BBCTester

  Public
  Black Box Compiler Tester

  OCaml

  •1•1•0•1•Updated Aug 7, 2024Aug 7, 2024

• play

  Public
  Variations on #lang plai

  Racket

  •

  Other

  •3•8•1•0•Updated May 21, 2024May 21, 2024

• GCIC-ML

  Public
  Prototype implementation of GCIC in OCaml

  OCaml

  •1•0•4•1•Updated Dec 26, 2022Dec 26, 2022

• cc5215

  Public
  Jupyter Notebook

  •44•0•0•0•Updated Dec 8, 2022Dec 8, 2022

• metacoq

  Public
  Metaprogramming in Coq

  Coq

  •

  MIT License

  •83•1•0•0•Updated Apr 28, 2022Apr 28, 2022

• GradualizingCIC

  Public
  Companion code of the paper Gradualizing the Calculus of Inductive Constructions

  Agda

  •0•0•0•0•Updated Oct 20, 2020Oct 20, 2020

• Refinements

  Public
  Experiments in formalizing refinement type systems in Coq

  Coq

  •1•17•0•0•Updated Feb 7, 2016Feb 7, 2016

• cc4101-handin-client

  Public
  Handin Client for the CC4101 - Programming Languages course

  Racket

  •1•0•0•0•Updated Mar 30, 2015Mar 30, 2015

• Ghosts

  Public
  Java

  •0•3•3•0•Updated Dec 27, 2013Dec 27, 2013