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
  • save-my-invoice Public

    User script to disable non-billable fields in Fieldglass, to avoid time reporting mistakes

    koditoriet/save-my-invoice’s past year of commit activity
    JavaScript 0 Unlicense 0 0 0 Updated Oct 15, 2024
  • github-runner Public Forked from SanderKnape/github-runner
    koditoriet/github-runner’s past year of commit activity
    Shell 0 MIT 119 0 0 Updated Sep 22, 2024
  • totpm Public

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

    koditoriet/totpm’s past year of commit activity
    Rust 1 MIT 0 2 0 Updated Sep 13, 2024
  • glesys-ddns Public

    Dynamic DNS for GleSYS subdomains

    koditoriet/glesys-ddns’s past year of commit activity
    Python 0 Unlicense 0 0 0 Updated Feb 26, 2024
  • anstallningsavtal Public

    LaTeX-mall för svenskt anställningsavtal

    koditoriet/anstallningsavtal’s past year of commit activity
    TeX 1 Unlicense 0 0 0 Updated Jan 26, 2024
  • flopsy Public

    A protocol-agnostic failover TCP proxy

    koditoriet/flopsy’s past year of commit activity
    Rust 1 MIT 1 0 0 Updated Mar 3, 2023
  • .github Public
    koditoriet/.github’s past year of commit activity
    1 0 0 0 Updated May 3, 2022

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…