kendroe

Pinned Repositories

ceps
Coq Enhancement Proposals
00
CoqPIE
CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)
Language:Coq80
CoqRewriter
This library is a Coq ML tactic implementing an advanced rewriting algorithm similar but more powerful than what exists in Isabelle.
Language:OCaml5 2 00
htp
Heuristic Theorem Prover (from SMT-COMP'06)
Language:C00
pedantic2
Lean reimplementation of PEDANTIC
Language:Lean10
sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Language:Python00
yosys
Ken Roe working branch
Language:C++00
slang
SystemVerilog compiler and language services
Language:C++599 29 677134
Kami
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
Language:Coq197 72 3111
yosys
Yosys Open SYnthesis Suite
Language:C++3.4k 138 1.7k874

kendroe's Repositories

kendroe/CoqPIE
CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)
Language:Coq80
kendroe/CoqRewriter
This library is a Coq ML tactic implementing an advanced rewriting algorithm similar but more powerful than what exists in Isabelle.
Language:OCaml5 2 00
kendroe/pedantic2
Lean reimplementation of PEDANTIC
Language:Lean10
kendroe/ceps
Coq Enhancement Proposals
00
kendroe/htp
Heuristic Theorem Prover (from SMT-COMP'06)
Language:C00
kendroe/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Language:Python00
kendroe/yosys
Ken Roe working branch
Language:C++00