refinedt

Similar projects

Found by comparing what the projects do, not just their names.

• fthomas/refined1.7K

  Type constraint library

  A Scala library that allows adding constraints to types at compile-time using type-level predicates.

• samuelgruetter/dot-calculus62

  Type System Compiler

  A formalization of Dependent Object Types (DOT) calculus in Coq to support type safety proofs for a new foundation for Scala's type system

• mrkkrp/facts57

  Type system library

  A Haskell library for working with refined types to represent and manipulate data structures

• namin/dot155

  Type theory proof

  Mechanized proof of soundness for a type-theoretic foundation for languages like Scala

• andreasabel/miniagda104

  Dependent type prototype

  A research prototype of a dependently typed language with sized types and variances

• informalsystems/quint834

  TLA-based spec language

  A specification language with type checking and tooling based on temporal logic of actions

• ditto/ditto173

  Research language

  An experimentally designed dependently typed programming language with a focus on type checking and research

• sweirich/graded-haskell24

  Dependent type systems

  Mechanizations for two dependently-typed languages with graded types

• superstar64/aith64

  Systems programming language

  A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions.

• andrew-johnson-4/lsts114

  Programming language

  A programming language and proof assistant built on top of Rust.

• jfecher/ante1.9K

  Systems language

  A systems language focused on refinement types and lifetime inference

• typedefs/typedefs367

  Type constructor

  A language-agnostic way to define algebraic data types using polynomials.

• jetbrains/arend698

  Type theory engine

  A theorem prover and a programming language based on Homotopy Type Theory

• jozefg/learn-tt2.2K

  Type theory resource

  A collection of resources for learning type theory and related fields

• s-expressionists/ctype26

  Type system implementation

  An implementation of the Common Lisp type system focusing on precise and simplified reification of type specifiers