larsrh

evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”

Giesecke+DevrientMünchen

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML985 44 50186
DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript49k 641 8.1k30.2k
datalog-fixpoint
Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
Language:OCaml6 3 00
fizzbuzz-k8s
FizzBuzz on k8s using ingress rules, because why not?
Language:Shell17 3 00
libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
Language:Scala38 5 308
lem
Lem semantic definition language
Language:OCaml132 20 2215
cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala5.3k 189 1.2k1.2k
scalacheck
Property-based testing for Scala
Language:Scala1.9k 57 345407

larsrh's Repositories

larsrh/datalog-fixpoint
Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
Language:OCaml6 3 00
larsrh/evolutionary-tsp
An evolutionary algorithm for solving TSP (ARCHIVED)
Language:Haskell1 3 0
larsrh/matrix-exercise
Exercise for type classes: Matrix multiplication (ARCHIVED)
Language:Shell1 4 01
larsrh/nescala2014
Talk at NE Scala 2014: Macros vs. Types (ARCHIVED)
Language:TeX1 2 0
larsrh/queue
Language based on queue automata (ARCHIVED)
Language:Haskell1 2 0
larsrh/automata
Fixed-length languages and Presburger automata (ARCHIVED)
Language:Scala2 0
larsrh/flatmap2014
Scalaz workshop at flatMap(Oslo) 2014 (ARCHIVED)
2 01
larsrh/scala-snippets
Random Scala snippets (ARCHIVED)
Language:Scala2 0