Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Scala Type Theory Open Source Projects

Open source projects categorized as Scala Type Theory
Categories > Compilers > Type Theory
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
Dot Iris ⭐ 29
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
most recent commit 8 months ago
Shapesafe ⭐ 20
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
total releases 5most recent commit 4 months ago
Trepplein ⭐ 18
Lean type-checker written in Scala.
most recent commit 2 years ago
Stainlessfit ⭐ 5
Stainless directly built on System FR, with standalone front-end
most recent commit 2 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.