deriving
Inductive type generator
Automatically generates boilerplate code for Coq inductive types
Class instances for Coq inductive types with little boilerplate
24 stars
3 watching
9 forks
Language: Coq
last commit: 7 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 rafaelcgs10/w-in-coq | A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools. | 25 |
| arthuraa/extructures | Provides data structures and reasoning tools for extensional equality in Coq | 29 |
 unicoq/unicoq | An enhanced unification algorithm for Coq | 49 |
 bcheidemann/entype | Generates type definitions for serialized data formats like JSON | 3 |
 sweirich/graded-haskell | Mechanizations for two dependently-typed languages with graded types | 23 |
 cleopatra27/chocotea | Generates Postman collection and integration tests from Java code | 42 |
 jinkanhq/django-rest-tsg | Automates the process of generating TypeScript code from Django models and serializers | 16 |
 pa-ba/calc-comp | Formalizations of compiler design and virtual machine calculations in Coq | 30 |
| arthuraa/poleiro | A blog about Coq proof assistant and its related libraries and tools | 47 |
 diegofrata/generator.equals | Automates the implementation of IEquatable<T> using attributes. | 136 |
 uds-psl/autosubst2 | A tool for generating Coq code from syntactic theories with variable binders | 17 |
 nukepayload2/nukepayload2.sourcegenerators.avaloniaui | Generates strongly-typed references to controls with x:Name attributes in Avalonia UI projects | 4 |
 coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
 ablestack/graphql-codegen-hasura | Automates the generation of strongly typed client code for a GraphQL backend using type-safe wrappers and caching mechanisms. | 154 |