An interactive and powerful Git interface for Neovim, inspired by Magit
Repository Index
47,133 repositories indexed
1,009–1,032 of 5,676 · 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
WebGL point cloud viewer for large datasets
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
- lebab
- javascript
- compiler
- es2015
Node's framework for interactive CLIs
The most popular open source electronic health records and medical practice management solution.
- openemr
- practice-management
- emr
- ehr
✨ PTerm is a modern Go module to easily beautify console output. Featuring charts, progressbars, tables, trees, text input, select menus and much more 🚀 It's completely configurable and 100% cross-platform compatible.
- go
- golang
- golang-library
- pretty-print
High-performance TensorFlow library for quantitative finance.
🔥 Fast, strict, configurable, extensible, and beautiful linter for Go
- go
- golang
- linter
- static-analysis
A ClojureScript framework for building user interfaces, leveraging React
- reagent
- clojurescript
- re-frame
- spa
A concise grammar of interactive graphics, built on Vega.
- visual-analysis
- visualization-grammar
- visualization
- vega
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
An extensible multilanguage static code analyzer.
- code-analysis
- code-quality
- static-analysis
- static-code-analysis
High-performance regular expression matching library
An authoritative list of awesome devsecops tools with the help from community experiments and contributions.
Socket.IO integration for Flask applications.
- python
- flask
- flask-socketio
- socket-io
Beautiful, interactive charts, maps, and gauges. One API for every .NET UI framework.
Building powerful interactive prompts in Go, inspired by python-prompt-toolkit.
- vt100
- terminal
- prompt
- interactive
Integrated online shop based on Laravel and the Aimeos e-commerce framework for ultra-fast online shops, scalable marketplaces, complex B2B applications and #gigacommerce
- aimeos
- laravel
- shop
- e-commerce
Thumbnailator - a thumbnail generation library for Java
- java
- image-processing
- thumbnails
- fluent-interface
idb is a flexible command line interface for automating iOS simulators and devices
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.
- cpp
- cmake
- template
- dependency-manager
Build Graph Nets in Tensorflow
- graph-networks
- graphs
- deep-learning
- neural-networks
A proven SVG-based JavaScript diagramming library powering exceptional UIs