Roger Bosman's repositories
lighthouse2
Lighthouse 2 framework for real-time ray tracing
accelerate
Embedded language for high-performance array computations
Language:HaskellNOASSERTION000
accelerate-examples
Examples and regression tests for the Accelerate language
Language:HaskellNOASSERTION000
Language:HaskellBSD-3-Clause000
accelerate-llvm
LLVM backend for Accelerate
Language:HaskellNOASSERTION000
company-coq
IDE extensions for Proof General's Coq mode
Language:Emacs LispGPL-3.0000
Language:TeX000
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Language:Python000
hdm-fully-grounding
Formalization of a fully grounding type inference algorithm for the HDM system
Language:Coq000
ott
The Ott tool for writing definitions of programming languages and calculi
Language:OCamlNOASSERTION000
plfa.github.io
Introduction to programming language theory in Agda
Language:AgdaCC-BY-4.0000
Language:HTML000