ric-almeida

LFCS - University of Edinburgh

Pinned Repositories

cerberus
Cerberus C semantics
Language:OCaml00
heavy-minotaut
Heavy MinOTaut - Heavy Minimization Of Tree Automata
Language:Groff01
isla-snapshots
Compiled Sail ISA snapshots for the Isla symbolic execution tool
00
MiniSat-ocaml
OCaML bindings for the MiniSat satisfiability solver.
Language:OCaml00
OCaml-SAT-Solvers
An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
00
sail-cheri-riscv
CHERI-RISC-V model written in Sail
Language:Isabelle00
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language:OCaml1.2k351
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
Language:OCaml33068
cerberus
Cerberus C semantics
Language:OCaml4825
islaris
isla coq infrastructure
Language:Coq111

ric-almeida's Repositories

ric-almeida/cerberus
Cerberus C semantics
Language:OCaml
ric-almeida/isla-snapshots
Compiled Sail ISA snapshots for the Isla symbolic execution tool
ric-almeida/sail-cheri-riscv
CHERI-RISC-V model written in Sail
ric-almeida/heavy-minotaut
Heavy MinOTaut - Heavy Minimization Of Tree Automata
Language:Groff1
ric-almeida/OCaml-SAT-Solvers
An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
ric-almeida/MiniSat-ocaml
OCaML bindings for the MiniSat satisfiability solver.
Language:OCaml