47,133 repositories indexed
1–11 of 11 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
A PyTorch Library for Accelerating 3D Deep Learning Research
Weather in terminal, with ANSI colors and Unicode symbols
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Benchmarks for generative chemistry
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
OCaml Bioinformatics Library
OCaml Math Library
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
A weather server supporting Campbell Scientific and Davis Instruments stations with lots of data-sharing options
Numerical Library for OCaml