Giters
Casper Bach Poulsen (casperbp)

casperbp

Geek Repo

10

followers

3

following

5

stars

Company:Delft University of Technology

Location:The Hague

Home Page:http://casperbp.net

Github PK Tool:Github PK Tool

Casper Bach Poulsen's repositories

renamingless-capture-avoiding

Language:TeXStargazers:4Issues:1Issues:0

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

mcrl2-mode

Emacs mode for editing mCRL2 and MCF files

Language:Emacs LispStargazers:1Issues:1Issues:1

scopes-frames.hs

Language:HaskellStargazers:1Issues:1Issues:0

mCRL2

The Git repository for the mCRL2 toolset.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0