Paolo G. Giarrusso's repositories
hoas-with-names
Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*
scala19_gadt_code
Support code for our Scala'19 paper on GADTs
dotty-map-fusion-staging-experiment
Answering https://users.scala-lang.org/t/implementing-map-fusion-with-dotty-macros/5791/4
Coq-playground
Random Coq experiments
agda-presburger
Deciding Presburger arithmetic in agda
agda-stdlib
The Agda standard library
Beluga
Contextual types meet mechanized metatheory!
color
Coq library on rewriting theory and termination
coqdocjs
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
docker-coq
Docker images of the Coq proof assistant [maintainer=@erikmd]
dotty-example-project
An example sbt project that compiles using Dotty
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
plfa.github.io
Introduction to programming language theory in Agda
pygments
Pygments is a generic syntax highlighter written in Python
runMacOSinVirtualBox
Run macOS 10.16 Big Sur (and other versions) in VirtualBox on macOS
scalaenv
Groom your app’s Scala environment
smcFanControl
Control the fans of every Intel Mac to make it run cooler
types-and-programming-languages
Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
unicode-latex
A visual studio code extension to insert Unicode symbols given LaTeX symbol names
VST
Verified Software Toolchain