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
Repository Index
71,372 visible repositories in the index
1–24 of 87 · Most stars
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
- go
- golang
- scientific-computing
- data-analysis
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
- quantum-computing
- qiskit
- sdk
- quantum-programming-language
Arbitrary-precision fixed-point decimal numbers in Go
- go
- decimals
- precision
- money
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
A Cloud Native Batch System (Project under CNCF)
- batch-systems
- kubernetes
- golang
- hpc
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
Swift Language Weather is an iOS weather app developed in Swift 4.
- swift-language
- swift-weather
- ios-weather
- swift4
Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.
- nisq
- quantum-algorithms
- quantum-computing
- cirq
Desktop app for managing BibTeX and BibLaTeX (.bib) libraries
- jabref
- bibtex
- java
- latex
Better GitHub statistics images for your profile, with stats from private repos too
- github-stats
- statistics
- profile
- visualizations
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.
- differential-equations
- differentialequations
- julia
- ode
a terminal weather app with ascii animation
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
Linear algebra foundation for the Rust programming language
- linear-algebra
- matrix
- rust
An object-oriented algebraic modeling language in Python for structured optimization problems.
- python
- optimization
- linear-programming
- mathematical-programming
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
- optimization
- julia
- modeling-language
- linear-programming
Large Language-and-Vision Assistant for Biomedicine, built towards multimodal GPT-4 level capabilities.
Mixed-precision math, linear-algebra & retrieval kernels, 4000+ symbols from 4-bit numbers to 128-bit complex, for x86, Arm, RISC-V, LoongArch, Power & WASM, AMX & SME included 📐
S2 geometry library in Go
- go
- geometry
- geometry-library
- sphere
DirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps
Open Babel is a chemical toolbox designed to speak the many languages of chemical data.
- chemistry
- chemical-data
- cheminformatics
- c-plus-plus
ProtTrans is providing state of the art pretrained language models for proteins. ProtTrans was trained on thousands of GPUs from Summit and hundreds of Google TPUs using Transformers Models.
⚡High Performance DICOM Medical Image Parser in Go.
- dicom
- dicom-images
- golang
- golang-library