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–11 of 11 · Most stars
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
- calculus
- counting
- functions
- graph
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]
Translated🛡️ CA: Certificate Authority. DSTU: 4145. ITU/IETF: 3279, 5755, 7030, X.509.
- ecc
- rsa
- ocsp
- pki
Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library
- ada
- aspects
- attributes
- packages
Common Lisp The Language Second Edition
- book
- common-lisp
- documentation
- lisp
💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42, X9-62, X25519, X488; NIST: SECP384r1.
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