Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
WebAssembly Design Documents
Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
- sol
- lua
- lua-bindings
- lua-binding
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
A compiler from Doxygen XML to reStructuredText -- hence, the name. It parses XML databases generated by Doxygen and produces reStructuredText for the Python documentation generator Sphinx.
- documentation-tool
- documentation-generator
- sphinx-doc
- restructured-text
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Documentation contribs for SLIME (the Superior Lisp Interaction Mode for Emacs)
Common Lisp The Language Second Edition
- book
- common-lisp
- documentation
- lisp
Convert the ANSI Common Lisp draft to Texinfo
- common-lisp
- lisp
- documentation
- specification
Live web documentation browser for Common Lisp. Based on Webinfo project.
- lisp
- common-lisp
- documentation