See what the GitHub community is most excited about today.
A collection of Dynare models
Astrophysical Multipurpose Software Environment. This is the main repository for AMUSE
CT-CODE Mario Kart Wii mod
1.5-3GHz RF down-converter for RTL-SDR
Repository containing supplementary materials and code for "JuMP: A Modeling Language for Mathematical Optimization"
AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)
Global optimization test set
A library for the ABB YuMi robot.
Documentation, models and code relating to the 3rd edition of the textbook Stochastic Modelling for Systems Biology
NEURON User Interface
Testing Go modules
Certified Type Soundness, automatically!
kicad files top directory
Parts for LTSpice commonly used by electronics hobbyists (with usage instructions).
Stellaris mod: RPG Traits
A collection of mechanised proofs
Mod for Europa Universalis IV that adds My Little Pony stuff in Northern America.
Repository for SNAP model development
Basic features for eneboo modules
A collection of notable optimization problems solved with AMPL.