coq-amd64

(★ 20)

No description available.

coq-amd64 Latest Version Download

Download Latest Version (.zip)

Today's picks

awesome-cpp ★ 72,863

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. I
caddy ★ 75,074

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Go
ui ★ 121,773

A set of beautifully-designed, accessible components and a code distribution platform. Wor

TypeScript
agency-agents ★ 147,102

A complete AI agency at your fingertips - From frontend wizards to Reddit community ninjas

Shell
scrcpy ★ 148,030

Display and control your Android device

C
fastapi ★ 101,743

FastAPI framework, high performance, easy to learn, fast to code, ready for production

Python
// repository documentation