trommler
Professor of Theoretical Computer Science at Technische Hochschule Nuernberg - Georg Simon Ohm.
Technische Hochschule NuernbergNuernberg, Germany
Pinned Repositories
Arduino
open-source electronics prototyping platform
arena-plugin
Bukkit plugin project with @ProfNooB
bedrock
Coq library for verified low-level programming
cabal
Cabal and cabal-install (created for my PPC64 patch)
calc-comp
Coq proofs for the paper "Calculating Correct Compilers"
car-simulator
Raspberry Pi as a simulated car
ghc
Peter's GHC repository. DO NOT SUBMIT PULL REQUESTS HERE. See HACKING.md for instructions on how to submit patches to GHC.
hs-to-coq
Convert Haskell source code to Coq source code
VeriGHC
Towards a verified back-end for The Glorious Glasgow Haskell Compilation System
VST
Verified Software Toolchain
trommler's Repositories
trommler/VeriGHC
Towards a verified back-end for The Glorious Glasgow Haskell Compilation System
trommler/ghc
Peter's GHC repository. DO NOT SUBMIT PULL REQUESTS HERE. See HACKING.md for instructions on how to submit patches to GHC.
trommler/calc-comp
Coq proofs for the paper "Calculating Correct Compilers"
trommler/Arduino
open-source electronics prototyping platform
trommler/arena-plugin
Bukkit plugin project with @ProfNooB
trommler/bedrock
Coq library for verified low-level programming
trommler/cabal
Cabal and cabal-install (created for my PPC64 patch)
trommler/car-simulator
Raspberry Pi as a simulated car
trommler/hs-to-coq
Convert Haskell source code to Coq source code
trommler/VST
Verified Software Toolchain
trommler/containers
Assorted concrete container types
trommler/cps-defun
Coq proofs for the paper "Cutting out Continuations"
trommler/ghc-rpm-macros
Haskell RPM packaging macros (Fedora with openSUSE patches)
trommler/haskell-opaleye
trommler/hmatrix-gsl-stats
GSL Statistics functions for Haskell hmatrix
trommler/infer
A static analyzer for Java, C, C++, and Objective-C
trommler/informatik2
Introduction to programming
trommler/jeeves-in-haskell
implementation of the Yang et al Jeeves language in Haskell
trommler/kaniko
Build Container Images In Kubernetes
trommler/libffi
A portable foreign-function interface library.
trommler/nofib
Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
trommler/ovpd-vamos
Using Oracle Virtual Private Databases for fine-grained access control.
trommler/store
Fast binary serialization
trommler/unix
POSIX functionality
trommler/void-packages
The Void source packages collection (all ppc platforms, staging + main)
trommler/wl-pprint-terminfo
A color pretty printer with terminfo support
trommler/zfoh.ch
Our homepage