Programming
40 projects
Showing 5 of 41 projects
ExtLibRocq Prover
A library of Coq definitions, theorems, and tactics for use in other Coq developments.
#coq#library#formal-methods
Stars137
Forks53
Last commit1 month ago
goguGo
A concurrent-safe Go generics utility library providing comprehensive functions and data structures for slices, maps, and strings.
#functional-programming#trie#slices
Stars110
Forks9
Last commit3 years ago
Dracula
A dark theme for Sublime Text with carefully chosen colors for various programming languages.
#editor-theme#syntax-highlighting#sublime-text
Stars102
Forks22
Last commit11 months ago
vimdarkVim Script
A dark Vim theme for nighttime coding with an included light theme for daytime use.
#syntax-highlighting#light-theme#text-editor
Stars69
Forks8
Last commit4 years ago
Learn V in Y MinutesV
A concise tutorial with short examples demonstrating V programming language syntax, data types, and conventions.
#code-examples#programming-language#v-lang
Stars61
Forks12
Last commit4 years ago
PreviousPage 2 of 2
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.