itnef
Senior software engineer at @itemis. (formal methods, language engineer; typescript, haskell)
@itemis
Pinned Repositories
agda-playground
alttab
The task switcher for minimalistic window managers or standalone X11 session
config
My Gnu/Linux Configuration Files
GrExGen
(MultiDi)Graph Morphism Example Generator
jpf-symbc
Symbolic PathFinder
mps-lambda
A dependently typed lambda calculus, implemented in Jetbrains MPS
smtx
My first SMT solver (only QF_UF)
vuegldemo
A really basic "game" written in webGL + typescript, packaged as a Vue3 app.
itnef's Repositories
itnef/mps-lambda
A dependently typed lambda calculus, implemented in Jetbrains MPS
itnef/smtx
My first SMT solver (only QF_UF)
itnef/agda-playground
itnef/alttab
The task switcher for minimalistic window managers or standalone X11 session
itnef/config
My Gnu/Linux Configuration Files
itnef/containerflight
containerflight - run applications in a defined and isolated environment
itnef/GrExGen
(MultiDi)Graph Morphism Example Generator
itnef/jpf-symbc
Symbolic PathFinder
itnef/vuegldemo
A really basic "game" written in webGL + typescript, packaged as a Vue3 app.
itnef/docker-askbot
Docker for askbot supporting volume for persisted data, easily overridable settings, and custom python support
itnef/GraphWalk
Graph Experiments in Scala
itnef/offline_folium
Allows using folium without an internet connection
itnef/presentations
Presentation Slides etc.
itnef/symbc_z3_fp_mnwe
Minimum non-working example for jpf-symbc using z3 (any version) / fp (floating-point arithmetic verification)
itnef/tcm-client
Office for client
itnef/termdown
Countdown timer and stopwatch in your terminal
itnef/w