Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
60,121 visible repositories in the index
13,369–13,392 of 15,975 · Most stars
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.
A lightweight solution for handling and storing money.
This is a sample/boilerplate project that shows how to create a production-ready hyperapp application.
- hyperapp
- rollup
- rollup-example
- flyjs
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
A collection of awesome Cucumber and Gherkin-related resources
- cucumber
- gherkin
- javascript
- java
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
AIRKinect 2.0 AIR Examples
Example repository for GitHub Actions Time of Check to Time of Use (TOCTOU vulnerabilities)
- actions
- bugbounty
- cicd
A starter project on Meteor with React
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Renderer for the Ricardian Contract specification
Displays automatic scale bars for projected geospatial data.
Error Prone extensions: extra bug checkers and a large battery of Refaster rules.
- java
- static-analysis
- abstract-syntax-tree
- ast
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.
A mobile platform for collecting transit data -- GTFS, passenger counts and GIS data.
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Troje is a honeypot built around lxc containers. It will run each connection with the service within a seperate lxc container.
A vulnerability patch gathering tool
Overhead allocators, allocator-aware containers and lifetime management for D objects
Code for the SecureDrop project website
In this project, you will learn how to pull datas from supabase to google sheets in a matter of minute
Returns an array with only the unique values from all given arrays using strict equality for comparisons.
- arr
- array
- difference
- diff
An Eclipse Vert.x verticle to boot an application from HOCON configuration.
- vertx
- hocon
- reactive
- microservice