Lars Hupel (@larsrh)

Top repositories

1

libisabelle

A Scala library which talks to Isabelle (DISCONTINUED)
Scala
38
star
2

fizzbuzz-k8s

FizzBuzz on k8s using ingress rules, because why not?
Shell
17
star
3

datalog-fixpoint

Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
OCaml
6
star
4

purely-experimental

Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)
Standard ML
3
star
5

jamog

Jamog – Just a mæss of gates (ARCHIVED)
Java
3
star
6

katsconf2017

Tutorial at Kats Conf 2, 2017 (ARCHIVED)
Scala
3
star
7

bobkonf2017

Tutorial at BOB Konferenz 2017 (ARCHIVED)
Haskell
3
star
8

phd-thesis

LaTeX sources of my PhD thesis (ARCHIVED)
TeX
2
star
9

javacheck

Minimalist implementation of property testing in Java 8 (ARCHIVED)
Java
2
star
10

website

My website
JavaScript
2
star
11

ct-wasm

WASM-Beispiele für den c't-Artikel „Assembliert“
JavaScript
2
star
12

sbt-jsr223

Java tool & sbt plugin for launching JSR 223 scripts (DISCONTINUED)
Scala
2
star
13

afp

sbt build of the Archive of Formal Proofs (DISCONTINUED)
Scala
2
star
14

sbt-libisabelle

sbt helper for libisabelle (DISCONTINUED)
Scala
2
star
15

ewasm-example

Toy example for an EWASM-based smart contract (ARCHIVED)
Rust
2
star
16

nescala2014

Talk at NE Scala 2014: Macros vs. Types (ARCHIVED)
TeX
1
star
17

complate-ast

More efficient rendering of JSX (DISCONTINUED)
TypeScript
1
star
18

evolutionary-tsp

An evolutionary algorithm for solving TSP (ARCHIVED)
Haskell
1
star
19

queue

Language based on queue automata (ARCHIVED)
Haskell
1
star
20

exposed-promises

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

matrix-exercise

Exercise for type classes: Matrix multiplication (ARCHIVED)
Shell
1
star
22

flatmap2015

Demo code from talk at flatMap(Oslo) 2015 (ARCHIVED)
Scala
1
star
23

caml-light-to-jvm

Student project: A Caml Light compiler for the JVM (ARCHIVED)
Scala
1
star
24

princess

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

hol-optics

Formalized optics in HOL (ARCHIVED)
Isabelle
1
star
26

classy

Type classes for Isabelle/ML (DISCONTINUED)
Standard ML
1
star