chkl

Spark Software Engineering GmbHKarlsruhe, Germany

Pinned Repositories

adiff
A tool for differentially testing soundness and precision of program analyzers
Language:Haskell0 3 00
apkstore
A simple file-based object store with a tiny HTTP API, implemented using Scotty.
Language:Haskell00
foundation
Empire strikes back
Language:Haskell00
HaTeX
The Haskell LaTeX library.
Language:Haskell00
jte
Secure and speedy templates for Java and Kotlin.
Language:Java00
jusecase-builders-generator
Generator for jusecase builders
Language:Java0 1 00
language-c
Source repository for https://hackage.haskell.org/package/language-c
Language:Haskell00
language-c4
A compiler for a subset of C (class project)
Language:Haskell20
yeganeshng
a fork of the venerable yeganesh
Language:Haskell20

chkl's Repositories

chkl/language-c4
A compiler for a subset of C (class project)
Language:Haskell20
chkl/yeganeshng
a fork of the venerable yeganesh
Language:Haskell20
chkl/adiff
A tool for differentially testing soundness and precision of program analyzers
Language:Haskell0 3 00
chkl/apkstore
A simple file-based object store with a tiny HTTP API, implemented using Scotty.
Language:Haskell00
chkl/foundation
Empire strikes back
Language:Haskell00
chkl/HaTeX
The Haskell LaTeX library.
Language:Haskell00
chkl/jte
Secure and speedy templates for Java and Kotlin.
Language:Java00
chkl/jusecase-builders-generator
Generator for jusecase builders
Language:Java0 1 00
chkl/language-c
Source repository for https://hackage.haskell.org/package/language-c
Language:Haskell00
chkl/network
Low-level networking interface
Language:Haskell00
chkl/nixpkgs
Nix Packages collection
chkl/servant-demo
Karlsruhe Haskell Meetup
Language:Haskell
chkl/servant-reflex
Generate reflex client functions for querying a servant API