autosubst2
Syntax generator
A tool for generating Coq code from syntactic theories with variable binders
Official repository of the Autosubst 2 project.
17 stars
6 watching
5 forks
Language: Haskell
last commit: over 1 year ago
Linked from 1 awesome list
coqformalizationmetatheory-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
| uds-psl/mpctt | A research project on using the Coq proof assistant to develop and prove mathematical models of computation in computational type theory | 80 |
 coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
| uds-psl/coq-library-undecidability | A collection of mechanized undecidability proofs in Coq | 111 |
 sauci/pydbc | Generates an Abstract Syntax Tree based on DBC-formatted strings | 2 |
 uwplse/structtact | A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants. | 21 |
 dunnl/tealeaves | A framework for abstract syntactical reasoning in Coq. | 23 |
 tatut/specql | A Clojure library that generates and executes common PostgreSQL queries with minimal boilerplate code. | 132 |
 plclub/lngen | Tool for generating Coq definitions and proofs for locally nameless representations | 30 |
 wisdomshell/codeshell | An open-source code generation platform for software developers that uses large language models to generate high-quality code | 1,617 |
 deepspec/interactiontrees | A library for representing recursive and impure programs in the Coq proof assistant language. | 203 |
 ablestack/graphql-codegen-hasura | Automates the generation of strongly typed client code for a GraphQL backend using type-safe wrappers and caching mechanisms. | 154 |
 avi-d-coder/implicit-hie | Automates the creation of cabal or stack configuration files for multi-component Haskell projects. | 205 |
 syntax-tree/unist-builder | Utility to create syntax trees with ease | 77 |
 roddyyaga/ppx_rapper | A syntax extension for writing SQL queries in OCaml with type inference and syntax checking. | 137 |
 sweetiq/schemats | Automates the generation of TypeScript interface definitions from relational databases | 1,037 |