Discover @larsrh Open Source projects

Lars Hupel (@larsrh)

larsrh

Stars
100
Global Rank 207,832 (Top 8 %)
Followers 300
Registered over 13 years ago
Most used languages

Scala
30.8 %

Haskell
11.5 %

Shell
7.7 %

TeX
7.7 %

JavaScript
7.7 %

Standard ML 7.7 %

TypeScript
7.7 %

Java
7.7 %

Rust
3.8 %

OCaml
3.8 %

Isabelle 3.8 %
Location 🇩🇪 Germany
Country Total Rank 9,970
Country Ranking

Standard ML 3

Isabelle 16

OCaml
39

Scala
110

Haskell
270

TeX
921

Shell
1,487

Rust
2,181

TypeScript
5,286

Java
5,406

libisabelle

A Scala library which talks to Isabelle (DISCONTINUED)

fizzbuzz-k8s

FizzBuzz on k8s using ingress rules, because why not?

datalog-fixpoint

Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)

purely-experimental

Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)

jamog

Jamog – Just a mæss of gates (ARCHIVED)

katsconf2017

Tutorial at Kats Conf 2, 2017 (ARCHIVED)

bobkonf2017

Tutorial at BOB Konferenz 2017 (ARCHIVED)

phd-thesis

LaTeX sources of my PhD thesis (ARCHIVED)

javacheck

Minimalist implementation of property testing in Java 8 (ARCHIVED)

website

ct-wasm

WASM-Beispiele für den c't-Artikel „Assembliert“

sbt-jsr223

Java tool & sbt plugin for launching JSR 223 scripts (DISCONTINUED)

afp

sbt build of the Archive of Formal Proofs (DISCONTINUED)

sbt-libisabelle

sbt helper for libisabelle (DISCONTINUED)

ewasm-example

Toy example for an EWASM-based smart contract (ARCHIVED)

nescala2014

Talk at NE Scala 2014: Macros vs. Types (ARCHIVED)

complate-ast

More efficient rendering of JSX (DISCONTINUED)

evolutionary-tsp

An evolutionary algorithm for solving TSP (ARCHIVED)

queue

Language based on queue automata (ARCHIVED)

exposed-promises

Tiny library for creating promises that can be resolved outside the Promise constructor (UNMAINTAINED)

matrix-exercise

Exercise for type classes: Matrix multiplication (ARCHIVED)

flatmap2015

Demo code from talk at flatMap(Oslo) 2015 (ARCHIVED)

caml-light-to-jvm

Student project: A Caml Light compiler for the JVM (ARCHIVED)

princess

Git mirror of Princess, the Scala theorem prover (DISCONTINUED)

hol-optics

Formalized optics in HOL (ARCHIVED)

classy

Type classes for Isabelle/ML (DISCONTINUED)