Beast code in Giters

Christian Klinger's repositories

A compiler for a subset of C (class project)

Language:HaskellMIT200

a fork of the venerable yeganesh

Language:HaskellNOASSERTION200

A tool for differentially testing soundness and precision of program analyzers

Language:HaskellMIT030

A simple file-based object store with a tiny HTTP API, implemented using Scotty.

Language:Haskell000

Empire strikes back

Language:HaskellNOASSERTION000

The Haskell LaTeX library.

Language:HaskellNOASSERTION000

Secure and speedy templates for Java and Kotlin.

Language:JavaApache-2.0000

Generator for jusecase builders

Language:JavaApache-2.0010

Source repository for https://hackage.haskell.org/package/language-c

Language:HaskellNOASSERTION000

Low-level networking interface

Language:HaskellNOASSERTION000

Nix Packages collection

MIT000

Karlsruhe Haskell Meetup

Language:Haskell000

Generate reflex client functions for querying a servant API

BSD-3-Clause000