K-Dense-AI / scientific-agent-skills
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 250,000+ scientists worldwide. 177 ready-to-use validated skills plus 100+ scientific databases covering biology, chemistry, medicine, and drug discovery. Compatible with Cursor, Claude Code, Codex, Pi, Antigravity, and the open Agent Skills standard.
lexifina / global-law
The world's law in git: any provision, any country, any date, and the law that wrote each word.
andreavolpato / spektrafilm
Spectral simulation of analog photography processes
yzlin286-wq / Deepscient
让 AI 与人类一起攻克真正的科学难题 —— 12 阶段 55 门 · 36 工具 · 98 条技能 · 证据链与可复现
ayaka-notes / ayakaleaf-pro
The ultimate open-source Overleaf extension and alternative: a free, self-hosted, drop-in replacement for Overleaf Community Edition with nearly all Pro feature—SSO, AI Assistant, Git(Hub/Lab）/ Dropbox sync, track changes, sandboxed compilation, Zotero, Mendeley and more. Formerly @Ayaka-notes Overleaf Pro. Docs: https://ayakaleaf-pro.ayaka.space
papers-we-love / papers-we-love
Papers from the computer science community to read and discuss.
numpy / numpy
The fundamental package for scientific computing with Python.
neka-nat / freecad-mcp
FreeCAD MCP(Model Context Protocol) server
molence / Mol-1
Open Frontier Biomolecular Intelligence
google-research / google-research
Google Research
RosettaCommons / RFD4-Proteina
Generative biopolymer design with rich conditioning.
hugo2046 / QuantsPlaybook
量化研究-券商金工研报复现
SatDump / SatDump
A generic satellite data processing software.
google / or-tools
Google's Operations Research tools:
Z3Prover / z3
The Z3 Theorem Prover
anthropics / formal-math
Machine-checked Lean 4 formalizations of research results, each in its own Lake project, published by Anthropic.
chenwei810 / Semiconductor_Manufacturing_Introduction
Introduction to Semiconductor Manufacturing
elder-plinius / V3R1T4S
liberating known unknowns
isl-org / Open3D
Open3D: A Modern Library for 3D Data Processing
The-OpenROAD-Project / OpenROAD-flow-scripts
OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
qlabs-eng / noise
Speedrun for pretraining without backpropagation
JuliaLang / julia
The Julia Programming Language
rocq-prover / rocq
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.
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
The-OpenROAD-Project / OpenSTA
OpenSTA engine
nasa / cea
CEA computes the equilibrium composition of mixtures via free-energy minimization, and uses the resulting product concentrations to determine thermodynamic and transport properties. It includes a large database of species with thermodynamic curve-fit data, and can be used for rocket performance, detonation parameters, and shock-wave analysis.
Reference-LAPACK / lapack
LAPACK development repository
NetLogo / NetLogo
turtles, patches, and links for kids, teachers, and scientists
grimme-lab / xtb
Semiempirical Extended Tight-Binding Program Package
ESCOMP / CTSM
Community Terrestrial Systems Model (includes the Community Land Model of CESM)
SciML / ModelingToolkit.jl
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
E3SM-Project / E3SM
Energy Exascale Earth System Model source code. NOTE: use "maint" branches for your work. Head of master is not validated.
mixOmics-org / mixOmics
Development repository for the Bioconductor package 'mixOmics '
Dhondtguido / CalculiX
This repository contains the source files of CalculiX, a three-dimensional Finite Element Program (www.calculix.de).
publicodes / publicodes
Le langage pour les algorithmes d'intérêt public
ben-domingue / irw
Code related to data for the Item Response Warehouse
flybrainlabs / node
flybrainlabs authority nodes, complete simulation replay, archives, and service APIs.
PDLPorters / pdl
Scientific computing with Perl
iho-ohi / TWCWG
Purpose of the repository is to facilitate easier and more efficient collaboration on TWCWG tasks, including S-104 and S-111 development.