Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
47,133 repositories indexed
529–552 of 618 · Most stars
Community-maintained C# SDK for PocketBase
- sdk-c-sharp
- csharp-sdk
- pocketbase
- pocketbase-sdk
The repository host gives no description.
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
A package to add protection to Vapor against CSRF attacks.
Extensible binary data format, like JSON but faster
Pretty-printing library for OCaml
Unofficial community SDK to interact with the Algorand network, in PHP & Laravel
- algorand
- blockchain
- php
- algorand-standard-assets
QuickNotes is a plugin for [Microsoft PowerToys Run](https://github.com/microsoft/PowerToys) that allows you to quickly create, manage, and search notes directly from your PowerToys Run interface. Simply type `qq` followed by your note text to save it,
- csharp
- dotnet
- notes
- plugin
Discussions on organization of the organization 🎩
Crystal binding for LevelDB
- crystal
- leveldb
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
An opinionated starter for Cycle.js projects powered by TypeScript.
- starter-project
- cycle
- typescript
- webpack
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
⚙️ A collection of Swift extensions for wide range of Vapor data types and classes
- vapor
- swift
- serverside-swift
The repository host gives no description.
Mosquitto packaged as Addon for the Homematic CCU3 and RaspberryMatic
Community list of shared micromobility APIs, apps, datasets, research, and software
Repository for official Sitecore, community and demo deployment files. This will provide Sitecore customers with examples on how to deploy Sitecore containers using various methods such as compose, k8s and helm.
SwiftyBeaver Logging Provider for Vapor, the server-side Swift web framework https://swiftybeaver.com
An Algorand SDK for Unity. Use the Algorand blockchain in your video game.
The repository host gives no description.
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp