Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Repository Index
66,762 visible repositories in the index
625–648 of 715 · Most stars
Access GoogleCloud APIs using Vapor
- vapor-service
- vapor-3
- swift
- google-cloud
Simple line of code counter written in Go
- go
- golang
- line-of-code
- loc
Community maintained fork of https://github.com/dsacre/mididings
- midi-router-linux
- python-midi
- real-time-performance
- live-music-automation
Transloadit's official Rails SDK, maintained by the community
A HomeMatic CCU Addon for sending Emails
- homematic
- ccu
- addon
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Community-maintained C# SDK for PocketBase
- sdk-c-sharp
- csharp-sdk
- pocketbase
- pocketbase-sdk
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
A curation of WebAssembly (Wasm) resources, projects, and communities.
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]
- docker-image
- dockerfile
- opam
- coq
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
Fortnite Skin Swapper 2026: Standalone Pre-Activated Desktop Setup, Ready to Run
- automation
- community-skins
- desktop
- developer-tools