Pinned Repositories
abstools
The ABS modeling language and surrounding tools
2015-active-objects-survey
A survey of active object and actor based models, languages, libraries, APIs and systems.
ebjohnsen.github.io
Repo for website
encore
The Encore compiler.
hugo-academic
🎓 Hugo Academic Theme 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
startbootstrap-clean-blog
Hugo theme based on Start Bootstrap Clean blog
fme-industry.github.io
Formal Methods Europe (FME) Industry page.
symsim
SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style, and uses property-based testing.
suave
An Exemplar for Self-Adaptive Underwater Vehicles performing pipeline inspection
oslofjord-website
ebjohnsen's Repositories
ebjohnsen/ebjohnsen.github.io
Repo for website
ebjohnsen/encore
The Encore compiler.
ebjohnsen/hugo-academic
🎓 Hugo Academic Theme 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.
ebjohnsen/startbootstrap-clean-blog
Hugo theme based on Start Bootstrap Clean blog