larsrh/website larsrh/website

  • Stars
    star
    2
  • Language
    JavaScript
  • Created about 7 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
larsrh/website
github

larsrh

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My website

More 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

ct-wasm

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

sbt-jsr223

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

afp

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

sbt-libisabelle

sbt helper for libisabelle (DISCONTINUED)
Scala
2
star
14

ewasm-example

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

nescala2014

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

complate-ast

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

evolutionary-tsp

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

queue

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

exposed-promises

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

matrix-exercise

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

flatmap2015

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

caml-light-to-jvm

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

princess

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

hol-optics

Formalized optics in HOL (ARCHIVED)
Isabelle
1
star
25

classy

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