Pinned Repositories
akiss
Tool for checking trace equivalence for security protocols
ASP-Greedy-Dafny
Demonstration of a greedy algorithm for the Activity Selection Problem using Dafny.
awesome-algorithms
A curated list of awesome places to learn and/or practice algorithms.
cnf-dafny
cnf-scala
dafny-showcase
Implementation and verification in Dafny of various algorithms
HoTT
Homotopy type theory
isabelle
git mirror of the Munich isabelle hg repository
k
The K tools
licenta-2023-contur-alexandra-dafny-banknotes
Greedy algorithm banknotes problem verified in Dafny (banknotes are powers of 2)
ciobaca's Repositories
ciobaca/akiss
Tool for checking trace equivalence for security protocols
ciobaca/ASP-Greedy-Dafny
Demonstration of a greedy algorithm for the Activity Selection Problem using Dafny.
ciobaca/awesome-algorithms
A curated list of awesome places to learn and/or practice algorithms.
ciobaca/cnf-dafny
ciobaca/cnf-scala
ciobaca/dafny-showcase
Implementation and verification in Dafny of various algorithms
ciobaca/HoTT
Homotopy type theory
ciobaca/isabelle
git mirror of the Munich isabelle hg repository
ciobaca/k
The K tools
ciobaca/licenta-2023-contur-alexandra-dafny-banknotes
Greedy algorithm banknotes problem verified in Dafny (banknotes are powers of 2)
ciobaca/Licenta-Alex-Donica
ciobaca/Licenta-Alex-Donica-p
ciobaca/Licenta-Bianca-Buzila
ciobaca/Licenta-chicos-elisa
ciobaca/Licenta-Dumitru-Daniel-Antoniu-Final
ciobaca/Licenta-Haidau-Alina
ciobaca/Licenta-Roxana-Timon
ciobaca/manim
A community-maintained Python framework for creating mathematical animations.
ciobaca/natural-deduction-game
A game that teaches natural deduction for propositional logic
ciobaca/qoi-dafny
Specification, implementation, and formal verification of the Quite Ok Image Format in Dafny
ciobaca/rmt
Rewriting Modulo Theories Tool
ciobaca/rmt-from-2019
Material for FROM 2019 submission.
ciobaca/siteonis
website onis 2015