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

    1

  2. anstallningsavtal anstallningsavtal Public

    LaTeX-mall för svenskt anställningsavtal

    TeX 1

  3. flopsy flopsy Public

    A protocol-agnostic failover TCP proxy

    Rust 1 1

  4. totpm totpm Public

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

    Rust 1

  5. glesys-ddns glesys-ddns Public

    Dynamic DNS for GleSYS subdomains

    Python

  6. github-runner github-runner Public

    Forked from SanderKnape/github-runner

    Shell

Repositories

Showing 7 of 7 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…