Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
64,764 visible repositories in the index
48,025–48,048 of 58,676 · Most stars
TranslatedSkia based 2d graphics SwiftUI rendering library. It is based on Rust to implement software rasterization to perform rendering.
- rust
- skia
- swift
- swiftui
Ionic2 Side menu + Tabs
- ionic2
- ionic-framework
- sidemenu
- tabs
Bash and Python Honeyport scripts
Clear the terminal cross-platform
Hide comments, focus on the code flow, and reveal them if needed 🧘
- comments
- lua
- neovim
- neovim-plugin
Go implementation of systemd Journal's native API for logging
Set of Selenium Grid extensions for a better UI tests.
A custom stretchable header view for UIScrollView or any its subclasses with UIActivityIndicatorView and iPhone X safe area support for content reloading. Built for iOS 10 and later.
Static multi-language boilerplate with editable pages and navigation from the CMS using Netlify CMS + Next.js + SCSS + Typescript.
A lightweight solution for handling and storing money.
Two Class modules that are used to format a VBA Userform using the material design
- vba
- vba-userform
- material-design
- material
GraphQL parser for Python
This is a sample/boilerplate project that shows how to create a production-ready hyperapp application.
- hyperapp
- rollup
- rollup-example
- flyjs
ruby-dnn is a ruby deep learning library.
A fully-modular OCaml style linter
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
Dash component for Vega-Altair charts
- altair
- plotly-dash
- vega
A prefix tree implementation in go
- trie
- prefix-tree
Common Lisp bindings to the GNU Readline library
- common-lisp
- gnu-readline
- readline
- bindings
A curated and non exhaustive list of Common Lisp libraries and resources.
A collection of awesome Cucumber and Gherkin-related resources
- cucumber
- gherkin
- javascript
- java
Promise-based HTML5 Filesystem API similar to Node.js fs module
- html5-filesystem-api
- filesystem-api
A simple platformer made along the theme of Ludum Dare 28