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
47,133 repositories indexed
2,041–2,064 of 3,617 · Most stars
Extract knowledge from all information sources using gpt and other language models. Index and make Q&A session with information sources.
A modern and lightweight file manager for Windows and Linux
- cross-platform
- file-explorer
- file-manager
- gui
An NES CPU compiled into the weights of a stock Qwen3.5 model
Configuration as Code, use YAML to write automated workflows that run on Deno, with any Deno modules, Typescript/Javascript codes
CSS Modules, but better and usable via Rollup, Vite, Webpack, CLI, PostCSS, or JS API
Theme applications with your favourite base16 colorschemes in Nix
- base16
- base16-manager
- nixos
- nixos-module
Pydantic data models for the GeoJSON spec
- geojson
- pydantic
- geojson-spec
A modern Git CLI tool with both traditional command-line and interactive incremental-search UI.
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
- bioinformatics
- exact-optimization
- metabolomics
- paired-data
Translated12306 captcha recognition based on deep learning
- 12306
- captcha
- recognizer
- deep-learning
H&O Magento 2 Advanced Template Hints module
Mundo: Customized World Model
Create custom submodes and menus
City Energy Analyst (CEA) is an open-source urban building energy modeling (UBEM) platform and computation tool for the design of low-carbon and highly efficient cities.
- python
- urban-design
- urban-analytics
- ubem
CVE-2026-109618 / CVE-2026-109619 pre-auth RCE in PHP session.upload_progress (mod_php): version-aware exploit profiles, Docker labs, heap calibration and detection guidance.
- cve-2026-109618
- cve-2026-109619
- exploit
- mod-php
The JavaScript Crypto Library provides web developers with an extensive and efficient set of cryptographic functions. The library aims to obtain maximum execution speed while preserving modularity and reusability. The library is released as open source under a BDS license.
A Python module for time-frequency analysis
- python
- scipy
- signal-processing
- time-frequency-analysis
Sigma Rules Engine inside the Linux Kernel using eBPF. Focusing on prevention capabilities
- ebpf
- security
- linux-kernel
- linux-security-module
CSS Modules for ambitious applications
- css-modules
- hacktoberfest
- npm
Magento 2 module which can find potential url related problems in your catalog data
- magento2
- magento2-extension
- magento2-module
A cross platform plugin for modifying calendars on the user's device
A data infrastructure framework, providing the tools for modelling and interacting with data collections and objects.
- javascript
- dojo
- rql
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures