Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Scala Dependent Types Open Source Projects

Open source projects categorized as Scala Dependent Types
Libra ⭐ 195
A dimensional analysis library based on dependent types
dependent packages 1total releases 6most recent commit 3 years ago
Scala Play Realworld Example App ⭐ 128
Exemplary real world application built with Scala 2.13 & Play
most recent commit 3 years ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Leibniz ⭐ 35
Leibniz equivalence and Liskov substitutability library for Scala.
most recent commit 2 years ago
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38most recent commit 4 years ago
Auxify ⭐ 23
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
dependent packages 1total releases 8most recent commit 4 years ago
Cosas ⭐ 9
necesito esas cosas raras con tipos
most recent commit 6 years ago
Nbe A Tutorial ⭐ 6
Checking Dependent Types with Normalization by Evaluation
most recent commit 6 years ago
The 3 Most Depended On Scala Dependent Types Open Source Projects
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38latest release August 07, 2018most recent commit 4 years ago
Libra ⭐ 195
A dimensional analysis library based on dependent types
dependent packages 1total releases 6latest release May 09, 2020most recent commit 3 years ago
The 3 Latest Releases In Scala Dependent Types Open Source Projects
Libra ⭐ 195
A dimensional analysis library based on dependent types
dependent packages 1total releases 6latest release May 09, 2020most recent commit 3 years ago
Feature.scala ⭐ 27
Access Scala language features on the type-level
dependent packages 9total releases 38latest release August 07, 2018most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.