Jonas's repositories
Lightweight-Java-Application-Server
LJAS is a small java application server
net.vl0w.kata.jobdependency
TDD workout with the "Job Dependency" kata
cache-simulator
Simulate hardware cache accesses of a program to measure cache misses and hits
firecms
Awesome Firebase/Firestore-based CMS. The missing admin panel for your Firebase project!
Language:TypeScriptMIT000
Java-iTunes-API
A simple way to grab information from a local iTunes library
MarteEngine
MarteEngine is a Java Engine for videogames
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Language:RustNOASSERTION000
Reachability.swift
Replacement for Apple's Reachability re-written in Swift with closures
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000