Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
47,133 repositories indexed
769–792 of 952 · 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.
Testing Vert.x applications with JUnit 5
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
TAP to xUnit XML converter
- tap
- javascript
- tape
- xunit
Unit testing framework built in GML for GameMaker LTS
Discussions on organization of the organization 🎩
Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons
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]
MicroPython based ESP WiFi Manager
- esp32
- esp8266
- micropython
- library
A unit testing framework for CMake
🎯 ConsoleCaptor captures console output for unit and integration testing purposes
An opinionated starter for Cycle.js projects powered by TypeScript.
- starter-project
- cycle
- typescript
- webpack
The repository host gives no description.
Worlds first JS/TS universal automated testing library for any JavaScript/TypeScript runtime(s), only one to my knowledge.
A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.