Lars Hupel's repositories
libisabelle
A Scala library which talks to Isabelle (DISCONTINUED)
fizzbuzz-k8s
FizzBuzz on k8s using ingress rules, because why not?
ewasm-example
Toy example for an EWASM-based smart contract (ARCHIVED)
phd-thesis
LaTeX sources of my PhD thesis (ARCHIVED)
sbt-libisabelle
sbt helper for libisabelle (DISCONTINUED)
complate-ast
More efficient rendering of JSX (DISCONTINUED)
exposed-promises
Tiny library for creating promises that can be resolved outside the Promise constructor (UNMAINTAINED)
aur-duplicati2-beta
AUR package for the Beta channel of Duplicati 2 (DISCONTINUED)
complate-cli
CLI preprocessor for complate-ast (DISCONTINUED)
dotfilesctl
A ham-fisted attempt at getting my dotfiles in order
estree-jsx
TypeScript type definitions for JSX (DISCONTINUED)
faucet-pipeline-essugar
JavaScript + TypeScript asset pipeline based on sucrase (UNMAINTAINED)
isabelle-cakeml
Exporting CakeML to Isabelle with Lem (DISCONTINUED)
isabelle-lint
Linting for Isabelle sources (DISCONTINUED)
jekyll-assets
:art: Asset pipelines for Jekyll.
jekyll-git_metadata
Expose Git metadata to Jekyll (DISCONTINUED)
jimplicits
What happens if you really want type classes in Java? (DISCONTINUED)
jqwik-jax-example
Beispielcode für den Talk "1000 auf einen Streich" auf der JAX 2023 (ARCHIVED)
multi-isabelle
Conditional Isabelle/ML execution depending on Isabelle version (DISCONTINUED)
public-transport-enabler
Unleash public transport data in your Java project. (DISCONTINUED)
reify-to-estree
Reifying closed JS values to equivalent ESTree representations (DISCONTINUED)
truffle-demo
Tiny demo of the Truffle API (ARCHIVED)