A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Algorand Specifications
- algorand
- avm
- blockchain
- consensus
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library
- ada
- aspects
- attributes
- packages
Convert the ANSI Common Lisp draft to Texinfo
- common-lisp
- lisp
- documentation
- specification
Core package for APQ Database bindings - you will stil need specific ones