casperbp

Delft University of TechnologyThe Hague

Pinned Repositories

lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Language:Haskell10
mCRL2
The Git repository for the mCRL2 toolset.
Language:C++0 0 00
mcrl2-mode
Emacs mode for editing mCRL2 and MCF files
Language:Emacs Lisp1 1 13
renamingless-capture-avoiding
Language:TeX4 1 00
scopes-frames.hs
Language:Haskell1 1 00
mCRL2
The Git repository for the mCRL2 toolset.
Language:C++87 11 1.7k36
dynsem
DynSem
Language:Java12 12 1274
linear.agda
A library and case-study for linear, intrinsically-typed interpreters in Agda
Language:Agda34 5 02
mj.agda
https://metaborg.github.io/mj.agda/
Language:Agda12 7 11

casperbp's Repositories

casperbp/renamingless-capture-avoiding
Language:TeX4 1 00
casperbp/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Language:Haskell10
casperbp/mcrl2-mode
Emacs mode for editing mCRL2 and MCF files
Language:Emacs Lisp1 1 13
casperbp/scopes-frames.hs
Language:Haskell1 1 00
casperbp/mCRL2
The Git repository for the mCRL2 toolset.
Language:C++0 0 00