Nils Erik Flick's repositories
mps-lambda
A dependently typed lambda calculus, implemented in Jetbrains MPS
Language:AgdaGPL-3.0000
alttab
The task switcher for minimalistic window managers or standalone X11 session
Language:CGPL-3.0000
config
My Gnu/Linux Configuration Files
Language:HaskellGPL-3.0000
containerflight
containerflight - run applications in a defined and isolated environment
Language:GoApache-2.0000
GrExGen
(MultiDi)Graph Morphism Example Generator
Language:HaskellGPL-3.0000
jpf-symbc
Symbolic PathFinder
Language:Java000
docker-askbot
Docker for askbot supporting volume for persisted data, easily overridable settings, and custom python support
Language:DockerfileMIT000
GraphWalk
Graph Experiments in Scala
Language:ScalaGPL-3.0000
offline_folium
Allows using folium without an internet connection
EPL-2.0000
presentations
Presentation Slides etc.
symbc_z3_fp_mnwe
Minimum non-working example for jpf-symbc using z3 (any version) / fp (floating-point arithmetic verification)
tcm-client
Office for client
Language:HTMLNOASSERTION000
termdown
Countdown timer and stopwatch in your terminal
GPL-3.0000