Skip to content
@pleiad

PLEIAD

Popular repositories Loading

  1. Refinements Refinements Public

    Experiments in formalizing refinement type systems in Coq

    Coq 17 1

  2. play play Public

    Variations on #lang plai

    Racket 8 3

  3. Ghosts Ghosts Public

    Java 3

  4. BBCTester BBCTester Public

    Black Box Compiler Tester

    OCaml 1 1

  5. metacoq metacoq Public

    Forked from MetaRocq/metarocq

    Metaprogramming in Coq

    Coq 1

  6. cc4101-handin-client cc4101-handin-client Public

    Handin Client for the CC4101 - Programming Languages course

    Racket 1

Repositories

Showing 10 of 11 repositories
  • grapa-website Public

    Project GRAPA's website

    HTML 0 0 0 0 Updated Mar 2, 2025
  • BBCTester Public

    Black Box Compiler Tester

    OCaml 1 1 0 1 Updated Aug 7, 2024
  • play Public

    Variations on #lang plai

    Racket 8 3 1 0 Updated May 21, 2024
  • gsoul-lang Public
    TypeScript 0 MIT 0 0 0 Updated May 15, 2024
  • GCIC-ML Public

    Prototype implementation of GCIC in OCaml

    OCaml 0 1 4 1 Updated Dec 26, 2022
  • cc5215 Public Forked from jnear/cs211-data-privacy
    Jupyter Notebook 0 43 0 0 Updated Dec 8, 2022
  • metacoq Public Forked from MetaRocq/metarocq

    Metaprogramming in Coq

    Coq 1 MIT 86 0 0 Updated Apr 28, 2022
  • GradualizingCIC Public

    Companion code of the paper Gradualizing the Calculus of Inductive Constructions

    Agda 0 0 0 0 Updated Oct 20, 2020
  • Refinements Public

    Experiments in formalizing refinement type systems in Coq

    Coq 17 1 0 0 Updated Feb 7, 2016
  • cc4101-handin-client Public

    Handin Client for the CC4101 - Programming Languages course

    Racket 0 1 0 0 Updated Mar 30, 2015
View all repositories