Pinned Repositories
accelerate
Embedded language for high-performance array computations
accelerate-examples
Examples and regression tests for the Accelerate language
accelerate-julia-sets
accelerate-llvm
LLVM backend for Accelerate
company-coq
IDE extensions for Proof General's Coq mode
concepts-slide-template
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
hdm-elaboration
lighthouse2
Lighthouse 2 framework for real-time ray tracing
plfa
Example code and exercise solutions for plfa.github.io
rogerbosman's Repositories
rogerbosman/lighthouse2
Lighthouse 2 framework for real-time ray tracing
rogerbosman/plfa
Example code and exercise solutions for plfa.github.io
rogerbosman/accelerate
Embedded language for high-performance array computations
rogerbosman/accelerate-examples
Examples and regression tests for the Accelerate language
rogerbosman/accelerate-julia-sets
rogerbosman/accelerate-llvm
LLVM backend for Accelerate
rogerbosman/company-coq
IDE extensions for Proof General's Coq mode
rogerbosman/concepts-slide-template
rogerbosman/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
rogerbosman/hdm-elaboration
rogerbosman/hdm-fully-grounding
Formalization of a fully grounding type inference algorithm for the HDM system
rogerbosman/icfp21-hdm-poster
rogerbosman/ott
The Ott tool for writing definitions of programming languages and calculi
rogerbosman/plfa.github.io
Introduction to programming language theory in Agda
rogerbosman/rogerbosman.github.io
rogerbosman/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!