mbenke/idris-cph-exercises
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
Developer Profile
mbenke
Discovered public repositories for mbenke in the GitHub catalog.
mbenke/lattester
Automated tester for MIMUW compilers course (MRJP)
mbenke/mrjp-tests
Testy to projektu zaliczeniowego z MRJP
mbenke/homebrew-formal
Homebrew formulae for formal methods
mbenke/diagrams-tikz
Fork of diagrams-tikz
mbenke/cabal
Official upstream development repository for Cabal and cabal-install
mbenke/matte
Reimplement Latte subsets using Parsec
mbenke/popl2014-papers
Public repository.
mbenke/HUGWaw
Haskell User Group Warsaw
mbenke/proby-haskell
Public repository.
mbenke/bnfc
BNF Converter
mbenke/zpf2013
Zaawansowane Programowanie Funkcyjne 2013
mbenke/try_git
Public repository.
mbenke/vera
Exploring prover ideas for intuitionistic logic
mbenke/zpf2012
Zaawansowane Programowanie Funkcyjne, MIMUW 2011
mbenke/lucretia
Public repository.
mbenke/toy-interpreters
Some toy interpreters in Haskell
mbenke/language-python
A parser for Python 2.x and 3.x written in Haskell