Giters
PLEIAD (pleiad)

PLEIAD

pleiad

Geek Repo

Location:Santiago, Chile

Home Page:http://pleiad.cl

Github PK Tool:Github PK Tool

PLEIAD's repositories

play

Variations on #lang plai

Language:RacketLicense:NOASSERTIONStargazers:7Issues:0Issues:0

grapa-website

Project GRAPA's website

Language:HTMLStargazers:0Issues:0Issues:0

GCIC-ML

Prototype implementation of GCIC in OCaml

Language:OCamlStargazers:0Issues:0Issues:0

cc5215

Stargazers:0Issues:0Issues:0

metacoq

Metaprogramming in Coq

License:MITStargazers:1Issues:0Issues:0

BBCTester

Black Box Compiler Tester

Language:OCamlStargazers:1Issues:0Issues:0

GradualizingCIC

Companion code of the paper Gradualizing the Calculus of Inductive Constructions

Language:AgdaStargazers:0Issues:0Issues:0

Refinements

Experiments in formalizing refinement type systems in Coq

Language:CoqStargazers:17Issues:0Issues:0

cc4101-handin-client

Handin Client for the CC4101 - Programming Languages course

Language:RacketStargazers:0Issues:0Issues:0

Ghosts

Language:JavaStargazers:3Issues:0Issues:0