Gostradamus: Better DateTimes for Go 🕰️
- golang
- datetime
- date
- time
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
Async node.js interface to Blackmagic Design capture and playback devices.
Assembler for Gameboy games
Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)
- blazor
- aad
- azuread
- template
Coroutines for GameMaker
- gamemaker
- gamemaker-studio-2
- gms2
- coroutines
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Relation algebra library for Coq
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
coinduction library for Coq