Repository Index

65,764 visible repositories in the index

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–4 of 4 · Most stars

lukaszcz / coqhammer

OCaml 249 38

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

Java 235 59

Java Constraint Programming solver

Fortran 150 61

OFF, Open source Finite volume Fluid dynamics code

Fortran 43 23

Portability Environment for Fortran poor people