EJahren/NorMC
A Norm Compliance Temporal Logic Model Checker
Developer Profile
EJahren
Discovered public repositories for EJahren in the GitHub catalog.
EJahren/c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
EJahren/ExtremeStartupServer
A more advanced server for using with the Extreme Startup Code kata.
EJahren/HoTT
Homotopy type theory
EJahren/vim-pomodoro
Vim plugin for the Pomodoro time management technique
EJahren/autocoq
Automatic coq tactic using model finders.
EJahren/CoqIDE
Emulate Coq IDE in VIM
EJahren/SkyportBot-TRON
SkyportBot-TRON
EJahren/skyport-api
API for different languages to build bots and connect to the skyport game server.
EJahren/skyport-logic
Logic component & server for a AI competition
EJahren/liquidhaskell
Liquid Types For Haskell
EJahren/CoffeeW8
Coffeemaker
EJahren/veiset-blog
Short articles and technical blog posts
EJahren/PBCompOutputChecker
A small utility program that checks the output from a PB solver and checks that it is correct according to the input opb file.
EJahren/My-xmonad-config
The xmonad config I use
EJahren/HPseudoBool
Public repository.
EJahren/HDemoBlog
Demo blog using Happstack