The Penn Locally Nameless Metatheory Library
Repository Index
47,133 repositories indexed
25–33 of 33 · Most stars
Iterate over promises serially
Map over promises serially
Make native methods available as partially applied functions.
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
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
Go option and result types that optionally contain a value
- golang
- option
- result
- error
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
A partial thick Ada binding to OpenAL; essentially a sound-playing utility for Ada apps.
- openal
- ada
- sound
- music-loops