...is an IT consultancy based in Gothenburg, Sweden.
We specialize in functional programming, type-based data modeling, compilers, and development tools. We also do open source software, usually within those same areas.
Some open source projects we have worked on:
- The VossII IC verification suite
- The 4koma TOML processing library for Kotlin
- The Haste Haskell-to-JavaScript compiler
- The Selda relational database DSL
- The qui.su web-based flipped classroom tool
- The Mesmerise interactive storytelling tool
Our VP of sales is a tiny dog, and any contract with us comes with an option for headpats.