Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
A Lua 5.3 parser written with LPegLabel
A library for formalizing Haskell types and functions in Coq
An extension of LPeg that supports labeled failures
LPeg version 1.0 Parser in pure LuaJIT
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect