Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Repository Index
76,855 visible repositories in the index
121–144 of 236 · Most stars
Telegram Bot API low level API and framework
Automated 3D cell detection in very large images
- microscopy
- cell-detection
- deep-learning
- image-analysis
A gem that calculates the exchange rate using published rates from European Central Bank. Compatible with the money gem
The repository host gives no description.
OME (Open Microscopy Environment) develops open-source software and data format standards for the storage and manipulation of biological light microscopy data. A joint project between universities, research establishments and industry in Europe and the USA, OME has over 20 active researchers with strong links to the microscopy community. Funded by private and public research grants, OME has been a major force on the international microscopy stage since 2000.
- omero
- java
- python
- server
Cell tracking and segmentation software
- cell-segmentation
- cell-tracking
- cell-tracking-challenge
- gurobi
C++11 header-only message digest library
- hash
- sha1
- sha256
- sha512
A Terminal user interface for maintaining an Arch Linux distribution.
- cylon
- aur
- bleachbit
- aur-helper
PyTorch Connectomics: segmentation toolbox for EM connectomics
- computer-vision
- neuroscience
- connectomics
- pytorch
A micro neural network multilayer perceptron for MicroPython (used on ESP32 and Pycom modules)
- micropython
- neural-network
- multilayer-perceptron
- mlp
IDE Helper plugin for CakePHP
- cakephp
- cakephp-plugin
- ide-helper
- typehinting
A Python interface to access neuroanatomical atlases
- neuroscience
- python
- microscopy
- registration
Read and write Neuroglancer datasets programmatically.
- neuroglancer
- volumetric-data
- python
- cloud
Open source privacy notice design patterns.
- privacy-notice
- icons
- legal-documents
Building a population of models that trade crypto and mutate iteratively
- trading-bot
- bitcoin
- neuroevolution
- reinforcement-learning
Collection of Country Information for Elixir.
- countries
- hex
- elixir
Automated 3D brain registration with support for multiple species and atlases.
- registration
- atlases
- brain
- neuroscience
Paper Cut: A native port of Paper Mario: The Thousand-Year Door to Windows, macOS, Linux, iOS and Android (AI-assisted)
- aurora
- c
- dawn
- decompilation
Motor simulation plugins for Gazebo - ROS
The native agentic development platform for the Mac: a 5 MB terminal that runs fleets of Claude Code and Codex sessions side by side, each on its own branch. Built with SwiftUI, no Electron, no telemetry.
NeoArch Package Manager for Arch Linux,endeavouros and Arch based distos — multi-source GUI (pacman, AUR, Flatpak, npm, pipx)
ENIGMA HALFpipe is a user-friendly software that facilitates reproducible analysis of fMRI data
- neuroimaging
- reproducibility
- pipeline
- meta-analysis
Sentinel-2 for Agriculture (Sen2Agri) is a software system processing high resolution satellite images for agricultural purposes funded by ESA (European Space Agency). Please register on the Sen2Agri webpage for Sen2Agri system updates and information.
- otb
- esa
- gdal
- agricultural