notation
by kai-qu
Collection of quotes on notation design & how it affects thought.
AI summary
Notation study
An exploration of how notational systems influence human thought and cognition.
- stars
- 1.8K
- forks
- 54
- watching
- 80
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
QS Schema
Developing a standardized data schema for Quantified Self data to enable interoperability and collaboration among users and researchers.
Linear logic encoder
An encoding of linear logic in Coq with minimal examples and automated proofs
Language dictionary
A repository of linguistic data for Indonesian words categorized as either standard or non-standard
Code examples
A curated collection of code worth reading and studying
Infinite loop testbed
An infinite loop simulator
Quantum programming framework
A reference specification and tools for a portable quantum instruction language.
API glossary
An educational resource for API developers and enthusiasts to learn industry-standard terminology
Chinese-language program
A programming language designed to be written in Chinese, aiming to make coding more accessible globally.
Project list
An analysis of notable software projects
Crypto protocol handbook
A curated list of resources for understanding crypto protocols
Programming language
A programming language with object-oriented features and basic syntax for simple statements and expressions.
Resource catalog
A collection of curated lists of books, tools, and other resources organized in markdown format.
Code Q�
A Q�S project where developers can ask me anything about code.
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Quantum Simulator
Extending Qiskit to handle qudits and higher-dimensional quantum states
Featured in 1 awesome list
Each link jumps to the spot where the list mentions notation.
