papers-we-love / papers-we-love
Papers from the computer science community to read and discuss.
papers-we-love / papers-we-love
google / or-tools
Google's Operations Research tools:
JuliaLang / julia
The Julia Programming Language
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
NetLogo / NetLogo
turtles, patches, and links for kids, teachers, and scientists
grimme-lab / xtb
Semiempirical Extended Tight-Binding Program Package
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