weather app for the terminal
- go
- wego
- forecast
- weather
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- traffic
- simulation
- transport
Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.
- mpi
- libtommath
- c
- math
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
The universe in numbers. Free, open-source calculators for everything countable.
Interpretable bilinear attention network with domain adaptation improves drug-target prediction.
RTree2D is a 2D immutable R-tree for ultra-fast nearest and intersection queries in plane and spherical coordinates
- scala
- rtree
- 2d
- str
📊 Showcase your open source contributions with beautiful SVG tables. Display your merged PRs from prestigious projects.
- api
- badges
- contributions
- developer-tools