Skip to content
@saki-lang

saki-lang

Popular repositories Loading

  1. saki-dev saki-dev Public

    A simple scala-like dependent type programming language

    Scala 13 2

  2. saki-lang.github.io saki-lang.github.io Public

  3. mltt-type-checker mltt-type-checker Public

    An MLTT type checker implemented using Saki-Lang

Repositories

Showing 3 of 3 repositories
  • saki-dev Public

    A simple scala-like dependent type programming language

    saki-lang/saki-dev’s past year of commit activity
    Scala 13 MIT 2 0 0 Updated Nov 30, 2024
  • saki-lang.github.io Public
    saki-lang/saki-lang.github.io’s past year of commit activity
    0 0 0 0 Updated Nov 18, 2024
  • mltt-type-checker Public

    An MLTT type checker implemented using Saki-Lang

    saki-lang/mltt-type-checker’s past year of commit activity
    0 MIT 0 0 0 Updated Oct 24, 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…