A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
77,353 visible repositories in the index
313–336 of 432 · Most stars
A collection of tasks to probe the effectiveness of protein sequence representations in modeling aspects of protein design
- protein
- protein-sequences
- protein-design
- representation-learning
RTree2D is a 2D immutable R-tree for ultra-fast nearest and intersection queries in plane and spherical coordinates
- scala
- rtree
- 2d
- str
:pushpin: State of the art point location and neighbour finding algorithms for region quadtrees, in Go
- quadtree
- go
Astrophotography capture and processing
A tool for cell instance aware segmentation in densely packed 3D volumetric images
- segmentation
- deep-learning
- bioinformatics
- neural-network
A Lean formalization of the Stacks Project
ENIGMA HALFpipe is a user-friendly software that facilitates reproducible analysis of fMRI data
- neuroimaging
- reproducibility
- pipeline
- meta-analysis
Inner ear models for Python
- python
- cochlea
- inner-ear
- model
Axon/Myelin segmentation using Deep Learning
- deep-learning
- machine-learning
- myelin
- axon
A strongly-typed genetic programming framework for Python
- python
- ipynb
- genetic-programming
- framework
code to run sei and obtain sei and sequence class predictions
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Extensive math expression evaluator library for JavaScript and Node.js
- typescript
- interpreter
- javascript
- calculator
CASSIA: A Multi-Agent LLM-Based Single-Cell Cell Type Annotation Framework
- ai4science
- llm
- multiagent-systems
- prompt-engineering
hsolve：电磁仿真大规模非正定厄密特征值求解。Certified shift-invert eigensolver for large sparse Hermitian (indefinite, generalized) eigenproblems from EM simulation: MUMPS LDLᵀ + block Krylov-Schur + Sylvester-inertia completeness certificate.
- computational-electromagnetics
- cpp17
- eigensolver
- eigenvalues
Model ChemLab: Virtual Chemistry Lab Simulation for Windows
- acid-base-titration
- download-model-chemlab
- fractional-crystallization
- home-education
Advanced Windows Mathematics Education Tool with Computational Engine and 2D/3D Visualization
- 2d-graphic-viewer
- 3d-graphic-viewer
- engineers-software
- equation-editor
Syre workspace.
Data Access Client for Global Surface Summary of the Day (GSOD) Weather Written in R
- r
- weather-data
- gsod
- ncdc
Rails frontend to The Genome Institute's drug gene interaction database.
Toolbox for the analysis of smFISH images.
- pattern-classification
- rna-localization
- segmentation
- smfish
A GDScript port of Delaunator: A fast library for Delaunay triangulation of 2D points.
- computational-geometry
- algorithm
- gdscript
- delaunay
🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.
- arbitrary-precision
- biginteger
- bigrational
- c-sharp