drever / ct-consciousness
☆14Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for ct-consciousness
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- ☆33Updated 7 months ago
- Catalogue on the nature and bounds of thought☆27Updated last year
- Another attempt to realize my programming language☆18Updated this week
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆10Updated 9 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- The Codebase UI that ships with UCM☆14Updated last week
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- ☆44Updated last year
- Classical Logic in Haskell☆23Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Clean extensible language for describing code, and human-language.☆9Updated last year
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆16Updated last year
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated 11 months ago
- ☆35Updated 4 months ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated last month
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- Foundations of Computer Science notebooks☆16Updated last month
- lean-related presentations☆16Updated 9 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago