deriving
by arthuraa
Class instances for Coq inductive types with little boilerplate
AI summary
Inductive type generator
Automatically generates boilerplate code for Coq inductive types
- stars
- 24
- forks
- 9
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Type inference tool verifier
A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools.
Equality library
Provides data structures and reasoning tools for extensional equality in Coq
Unifier
A plugin for Coq that improves its unification algorithm
Type generator
Generates type definitions for serialized data formats like JSON
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
Collection generator
Generates Postman collection and integration tests from Java code
Typecode generator
Automates the process of generating TypeScript code from Django models and serializers
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Coq blog
A blog about Coq proof assistant and its related libraries and tools
Equatability generator
Automates the implementation of IEquatable<T> using attributes.
Syntax generator
A tool for generating Coq code from syntactic theories with variable binders
Control reference generator
Generates strongly-typed references to controls in Avalonia UI XAML files
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Client generator
Automates the generation of strongly typed client code for a GraphQL backend using type-safe wrappers and caching mechanisms.
