Cosette is an automated SQL solver.
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
A generic interface for the environmental perception of automated driving functions in virtual scenarios.
- asam
- osi
- open-simulation-interface
- simulation
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Automated 3D cell detection in very large images
- microscopy
- cell-detection
- deep-learning
- image-analysis
Automated 3D brain registration with support for multiple species and atlases.
- registration
- atlases
- brain
- neuroscience
Auto-QChem is an automated workflow for the generation and storage of DFT calculations for organic molecules.
- cheminformatics
- dft-calculations
- automation
- feature
Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.