Sign in

Repository Index

76,356 visible repositories in the index

Tags: Science and math
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 433 · Most stars

Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows, macOS and Haiku. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

  • sloccount
  • cloc
  • complexity
  • tokei

TranslatedA knowledge graph for mathematics (primary school to high school), English (grade 3 to high school), and junior high school physics: 1,644 knowledge points, 2,403 prerequisite edges, and 6,723 questions, aligned with the curriculum standards, with an adaptive prerequisite diagnostic.

  • chinese
  • curriculum
  • diagnostic
  • edtech

🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.

Apache KIE (Knowledge Is Everything) is the home of Drools, OptaPlanner, jBPM, and Kogito.

  • rule-engine
  • java
  • dmn
  • hacktoberfest

✨ The fundamental numerical library for JavaScript and TypeScript. ✨                   ⭐️ Star to support our work!

  • javascript
  • stdlib
  • nodejs
  • library

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.