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–14 of 14 · Most stars
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
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
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io
A GTK / Fortran binding, and its documentation (in the Wiki tab).
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