A SuperCompiler for Martin-Löf's Type Theory
-
Updated
Jan 29, 2022 - Scala
#
dependent-types
Here are 22 public repositories matching this topic...
Towards changing things and see if it proofs
-
Updated
Jul 12, 2021 - Scala
Leibniz equivalence and Liskov substitutability library for Scala.
dependent-types scala equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types
-
Updated
Mar 28, 2022 - Scala
Access Scala language features on the type-level
-
Updated
Aug 19, 2024 - Scala
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
dependent-types scala metaprogramming macros shapeless typeclass code-generation extension-methods typeclasses scalameta typelevel-programming simulacrum scalafix semanticdb
-
Updated
Jul 4, 2020 - Scala
A simple scala-like dependent type programming language
programming-language dependent-types scala3 martin-lof-type-theory dependent-type-theory mygo saki-lang
-
Updated
Nov 30, 2024 - Scala
necesito esas cosas raras con tipos
-
Updated
Oct 19, 2017 - Scala
Checking Dependent Types with Normalization by Evaluation
-
Updated
Oct 1, 2018 - Scala
Universal Data design and transform language core
-
Updated
Nov 4, 2024 - Scala
Trying to make a practical possibly unsound dependently typed language with algebraic effects
algebraic-effects dependent-types functional-programming racket effects koka toy-language idris toy-compiler macro object-oriented-programming effect-handlers toy-interpreter
-
Updated
Feb 6, 2025 - Scala
Collections raised to the type-level in Scala
-
Updated
Jan 25, 2025 - Scala
The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.
-
Updated
Aug 31, 2023 - Scala
Scala version of my Haskell/Idris IdrisTddNotes project
-
Updated
Sep 7, 2018 - Scala
Dependently-typed range-checked numbers for Scala
-
Updated
Jan 25, 2025 - Scala
Scalpel is a parser combinator library using path depend type capability
-
Updated
Jan 7, 2025 - Scala
Generic programming for Scala
dependent-types scala macros generic-programming singleton-types typeclasses heterogeneous-lists hlist phantom-types typelevel-programming coproduct polymorphic-functions typeclass-derivation
-
Updated
Apr 25, 2024 - Scala
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
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."