autosubst2
by uds-psl
Official repository of the Autosubst 2 project.
AI summary
Syntax generator
A tool for generating Coq code from syntactic theories with variable binders
- stars
- 17
- forks
- 5
- watching
- 6
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
type theory development tool
A research project on using the Coq proof assistant to develop and prove mathematical models of computation in computational type theory
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Undecidability library
A collection of mechanized undecidability proofs in Coq
AST generator
Generates an Abstract Syntax Tree based on DBC-formatted strings
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Syntax framework
A framework for abstract syntactical reasoning in Coq.
tatut/specql132
Query generator
A Clojure library that generates and executes common PostgreSQL queries with minimal boilerplate code.
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
Code generator
An open-source code generation platform for software developers that uses large language models to generate high-quality code
Program representation library
A library for representing recursive and impure programs in the Coq proof assistant language.
Client generator
Automates the generation of strongly typed client code for a GraphQL backend using type-safe wrappers and caching mechanisms.
Project generator
Automates the creation of cabal or stack configuration files for multi-component Haskell projects.
Syntax generator
Utility to create syntax trees with ease
Query library
A syntax extension for writing SQL queries in OCaml with type inference and syntax checking.
Database generator
Automates the generation of TypeScript interface definitions from relational databases
Featured in 1 awesome list
Each link jumps to the spot where the list mentions autosubst2.