graded-haskell
by sweirich
Graded Dependent Type systems
AI summary
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
- stars
- 24
- forks
- 1
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Haskell examples project
Exploring and showcasing examples of dependently-typed programs in Haskell
Type inference system
An implementation of a strongly-typed System F in Haskell
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
def-/ghc-vis136
Data visualizer
A tool to visualize live Haskell data structures in GHCi
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
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Dependent type language
A systems programming language with first-class types, designed to support dependent records and types.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
GObject bindings generator
Generates Haskell bindings for GObject Introspection capable libraries
Inductive type generator
Automatically generates boilerplate code for Coq inductive types
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
Compiler
A Haskell-based compiler for hardware description languages like VHDL, Verilog, and SystemVerilog.
