saki-lang / saki-dev Star 22 Code Issues Pull requests A simple scala-like dependent type programming language programming-language dependent-types scala3 martin-lof-type-theory dependent-type-theory mygo saki-lang Updated Apr 18, 2025 Scala
mtumilowicz / scala3-dependent-types-polymorphic-functions-workshop Star 2 Code Issues Pull requests Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism. dependent-types workshop first-order-logic idris workshop-materials polymorphic-types scala3 union-types phantom-types typelevel-programming typed-lambda-calculus polymorphic-functions curry-howard-isomorphism compile-time-meta-programming dependent-type-theory path-dependent scala3-metaprogramming type-programming path-dependent-types Updated Jan 26, 2025 Scala