Repository Index

47,133 repositories indexed

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–3 of 3 · Most stars

club-doki7 /vulkan4j

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

Convert Haskell source code to Coq source code.

Coq8125

The Penn Locally Nameless Metatheory Library