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 ML1.1k 43 52390
DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript50.4k 638 8.1k30.5k
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 2 00
libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
Language:Scala38 4 308
lem
Lem semantic definition language
Language:OCaml138 19 2216
cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala5.4k 183 1.2k1.2k
scalacheck
Property-based testing for Scala
Language:Scala2k 56 347403

larsrh's Repositories

larsrh/libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
Language:Scala38 4 308
larsrh/fizzbuzz-k8s
FizzBuzz on k8s using ingress rules, because why not?
Language:Shell17 2 00
larsrh/jamog
Jamog – Just a mæss of gates (ARCHIVED)
Language:Java3 1 0
larsrh/afp
sbt build of the Archive of Formal Proofs (DISCONTINUED)
Language:Scala2 2 0
larsrh/ct-wasm
WASM-Beispiele für den c't-Artikel „Assembliert“
Language:JavaScript2 2 03
larsrh/ewasm-example
Toy example for an EWASM-based smart contract (ARCHIVED)
Language:Rust2 1 0
larsrh/phd-thesis
LaTeX sources of my PhD thesis (ARCHIVED)
Language:TeX2 4 0
larsrh/sbt-libisabelle
sbt helper for libisabelle (DISCONTINUED)
Language:Scala2 2 32
larsrh/website
My website
Language:HTML2 3 145
larsrh/bunnyctl
CLI and TS/JS library for Bunny.net API operations
Language:TypeScript1
larsrh/classy
Type classes for Isabelle/ML (DISCONTINUED)
Language:Standard ML1 1 0
larsrh/complate-ast
More efficient rendering of JSX (DISCONTINUED)
Language:TypeScript1 1 7
larsrh/exposed-promises
Tiny library for creating promises that can be resolved outside the Promise constructor (UNMAINTAINED)
Language:TypeScript1 2 0
larsrh/aur-duplicati2-beta
AUR package for the Beta channel of Duplicati 2 (DISCONTINUED)
Language:Shell1 0
larsrh/cakeml
CakeML: A Verified Implementation of ML (DISCONTINUED)
Language:Standard ML3 0
larsrh/complate-cli
CLI preprocessor for complate-ast (DISCONTINUED)
Language:TypeScript1 0
larsrh/dotfilesctl
A ham-fisted attempt at getting my dotfiles in order
Language:Rust3 2
larsrh/estree-jsx
TypeScript type definitions for JSX (DISCONTINUED)
Language:TypeScript2 0
larsrh/faucet-pipeline-essugar
JavaScript + TypeScript asset pipeline based on sucrase (UNMAINTAINED)
Language:JavaScript2 0
larsrh/isabelle-cakeml
Exporting CakeML to Isabelle with Lem (DISCONTINUED)
Language:Isabelle2 0
larsrh/jekyll-assets
:art: Asset pipelines for Jekyll.
Language:Ruby1 0
larsrh/jekyll-git_metadata
Expose Git metadata to Jekyll (DISCONTINUED)
Language:Ruby2 0
larsrh/jimplicits
What happens if you really want type classes in Java? (DISCONTINUED)
Language:Java1 0
larsrh/jqwik-jax-example
Beispielcode für den Talk "1000 auf einen Streich" auf der JAX 2023 (ARCHIVED)
Language:Java1 0
larsrh/lem
Lem semantic definition language (DISCONTINUED)
Language:OCaml2 0
larsrh/multi-isabelle
Conditional Isabelle/ML execution depending on Isabelle version (DISCONTINUED)
Language:Standard ML1 1
larsrh/public-transport-enabler
Unleash public transport data in your Java project. (DISCONTINUED)
Language:Java2 0
larsrh/reify-to-estree
Reifying closed JS values to equivalent ESTree representations (DISCONTINUED)
Language:TypeScript2 0
larsrh/sorting
Pedagogical verified implementations of various sorting routines in Isabelle (DISCONTINUED)
Language:Isabelle2 0
larsrh/truffle-demo
Tiny demo of the Truffle API (ARCHIVED)
Language:Scala2 0