Formal proof in Coq of Puiseux's Theorem.
Repository Index
63,269 visible repositories in the index
30,385–30,408 of 31,082 · Most stars
parag🎆Interactive visualization of higher-order graphs in Python (demo: https://rraadd88.github.io/parag)
- higher-order-networks
- hyperedge
- hypergraph
- network-visualization
Declarative create wizards, tabbed UIs, and more
An onetime key-value store for Elixir
Real-time AI Chat Robot
Local OpenAlex database with 284M+ works, abstracts, and semantic search
- academic
- literature-review
- openalex
- python
LaTeX manuscript editing, section previews, and PDF compilation
- academic
- bibtex
- cli
- compilation
Simple yet powerful live data computation framework. C++ port of Scramjet framework.
- event-stream
- reactive-programming
- stream
- data-stream
The repository host gives no description.
Extension of Enum functions like min_by, max_by, min_max_by, returning a list of results instead of just one.
- elixir-library
Source code for the slides presented at VicBioCon2023
- quarto
- revealjs
- rstats
Fast, Low-Memory, Easy Excel .NET helper to import/export/template spreadsheet (support Linux, Mac)
Tools for grading ACATS results, modified for Unix-like systems
Ada implementation of D’Hondt electoral result calculator
Golang production-ready features
- go
- golang
- gin
Simple Python SDK for the CoinPulse crypto portfolio API. No OAuth, no complex setup.
A GraphQL parser for python
Multiset (bag) implementation in Crystal
- multiset
- crystal
- bag
- data-structures
Streamline Craft CMS bootstrapping and configuration.
- craftcms
- craft3
- dotenv
Puppet module for rethinkdb
Golem Transcoding app using Yagna python API, React and Spring Boot.
- golem
- yagna
- spring-boot
- python
A camera plugin for Capacitor using Dynamsoft Camera Enhancer
Galaxia - GBC ( 8 bit 8080-like assembly)
StefaN - GBC ( 8 bit 8080-like assembly)