Search Results - RepositoryStats

ante jfecher

78

1.9k

mit

32

A safe, easy systems language

ante llvm compiler language refinement-types systems-language

Created 2015-08-11

342 commits to master branch, last one 3 months ago

refined fthomas

155

1.7k

mit

25

Refinement types for Scala

scala typelevel refinement-types

Created 2015-05-10

3,244 commits to master branch, last one 18 hours ago

liquidhaskell ucsd-progsys

130

1.2k

bsd-3-clause

28

Liquid Types For Haskell

smt haskell verification refinement-types

Created 2012-09-22

12,345 commits to develop branch, last one a day ago

deal life4

25

710

mit

14

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Created 2018-01-25

1,276 commits to master branch, last one 3 months ago

flux flux-rs

17

572

mit

11

Refinement Types for Rust

rust refinement-types

Created 2021-02-18

1,162 commits to main branch, last one a day ago

iron Iltotore

36

423

apache-2.0

12

Strong type constraints for Scala

scala types assert refinement-types functional-programming

Created 2021-01-13

232 commits to main branch, last one 2 days ago

phantom-types antonagestam

9

187

bsd-3-clause

5

Phantom types for Python.

mypy python typing python3 refined validation phantom-types refined-types static-typing static-analysis refinement-types

Created 2020-02-07

211 commits to main branch, last one 4 months ago

LSTS andrew-johnson-4

3

103

mit

3

Large Scale Type Systems (programming language)

ast lint lsts rust lexer parser compiler language type-checking theorem-prover category-theory dependent-types error-reporting lambda-calculus proof-assistant refinement-types assisted-reasoning lambda-calculus-interpreter

Created 2021-09-10

1,380 commits to main branch, last one 4 days ago