Skip to content
@koditoriet

Koditoriet

Functional Programming and Type Magic
README.md

Koditoriet

...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.

image

Popular repositories Loading

  1. totpm totpm Public

    A TPM-backed command line TOTP client. Like Google Authenticator in your terminal.

    Rust 2

  2. .github .github Public

    1

  3. anstallningsavtal anstallningsavtal Public

    LaTeX-mall för svenskt anställningsavtal

    TeX 1

  4. flopsy flopsy Public

    A protocol-agnostic failover TCP proxy

    Rust 1 1

  5. zed-nomotion zed-nomotion Public

    The Zed editor, patched to waste less energy.

    Makefile 1

  6. glesys-ddns glesys-ddns Public

    Dynamic DNS for GleSYS subdomains

    Python

Repositories

Showing 8 of 8 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…