markuspf/polarssl
A portable, easy to use, readable and flexible SSL library (dual-licensed, with FOSS exceptions)
Developer Profile
markuspf
Discovered public repositories for markuspf in the GitHub catalog.
markuspf/cabal
Official upstream development repository for Cabal and cabal-install
markuspf/idris-ct
Category Theory in Idris
markuspf/orb
The GAP package orb for advanced orbit enumerations
markuspf/freebsd
FreeBSD src tree
markuspf/lightyear
Parser combinators for Idris
markuspf/idris-vim
Idris mode for vim
markuspf/IdrisNet
Verified networking using dependent types
markuspf/Nimrod
Nimrod is a compiled, garbage-collected systems programming language which has an excellent productivity/performance ratio. Nimrod's design focuses on efficiency, expressiveness, elegance (in the order of priority).
markuspf/pyChao
mostly sequential IRC-Bot in python, mainly for Facts and Newsfeeds, interacts with "WebChao"-Blog
markuspf/genss
The GAP package genss for randomised Schreier-Sims
markuspf/Idris-dev
A Dependently Typed Functional Programming Language