Explore projects

D

AVA / daisy-certification-public
BSD 2-Clause with views sentence

0

Updated Aug 11, 2017

0 0

Updated Aug 11, 2017
F

Robbert Krebbers / fast_string
GNU Lesser General Public License v2.1 only

0

Updated Mar 19, 2022

0 0 0 0

Updated Mar 19, 2022
F

AVA / FloVer
BSD 2-Clause with views sentence

A certificate checker for roundoff error bounds

0

Updated Jul 14, 2022

0 1 5

Updated Jul 14, 2022
AVA / Dandelion

A verifier for approximations of transcendental functions.

0

Updated Jul 29, 2022

0 1 0 5

Updated Jul 29, 2022
Iris / RefinedC
BSD 3-Clause "New" or "Revised" License

0

Updated Sep 11, 2024

0 4 4 23

Updated Sep 11, 2024
C

Rodolphe Lepigre / canalyse
MIT License

Simplistic dependency analysis tool for C

0

Updated Oct 02, 2020

0 0 0 0

Updated Oct 02, 2020
R

Laila Elbeheiry / refinedc
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 06, 2023

0 0 0 0

Updated Jul 06, 2023
Simon Spies / RefinedC Extended
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 20, 2023

0 0 0 0

Updated Jun 20, 2023
R

Satya Prakash Nayak / rpg-stela
MIT License

0

Updated May 13, 2024

0 0 0 0

Updated May 13, 2024
Q

Iris / Quiver
BSD 3-Clause "New" or "Revised" License

2

Updated Jul 12, 2024

2 0 0 0

Updated Jul 12, 2024
M

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024