Skip to content
@kami-language

kami-language

Popular repositories Loading

  1. ChorLambda ChorLambda Public

    An agda formalisation of the ChorLambda type system

    Agda 2

  2. kami kami Public

    Functional programming language for distributed systems, with strong static typing

    Agda 1 1

  3. kami-theory kami-theory Public

    Formalization of the Kami language

    Agda 1

  4. kami-theory-paper kami-theory-paper Public

    Human readable description of the theory behind Kami

    TeX

  5. kami-frontend-hs kami-frontend-hs Public

    Frontend for the Kami language typechecker and compiler

    Haskell

Repositories

Showing 5 of 5 repositories
  • kami-frontend-hs Public

    Frontend for the Kami language typechecker and compiler

    kami-language/kami-frontend-hs’s past year of commit activity
    Haskell 0 MIT 0 0 2 Updated Oct 7, 2024
  • kami Public

    Functional programming language for distributed systems, with strong static typing

    kami-language/kami’s past year of commit activity
    Agda 1 1 6 0 Updated Aug 10, 2024
  • kami-theory Public

    Formalization of the Kami language

    kami-language/kami-theory’s past year of commit activity
    Agda 1 0 0 0 Updated Jul 16, 2024
  • kami-theory-paper Public

    Human readable description of the theory behind Kami

    kami-language/kami-theory-paper’s past year of commit activity
    TeX 0 0 0 0 Updated Apr 23, 2024
  • ChorLambda Public

    An agda formalisation of the ChorLambda type system

    kami-language/ChorLambda’s past year of commit activity
    Agda 2 0 0 0 Updated Mar 5, 2024

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…