drever / ct-consciousnessLinks
☆16Updated last year
Alternatives and similar repositories for ct-consciousness
Users that are interested in ct-consciousness are comparing it to the libraries listed below
Sorting:
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 9 months ago
- Catalog of visual lambda calculi☆161Updated 4 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 9 months ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Repo to track the evolution of notation in arts and sciences☆147Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- An archive of Steve Krouse's Future of Coding research notes☆148Updated last month
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- interactive programming tutorials, powered by Github and Docker☆143Updated 6 months ago
- purple: compiling a reflective language☆33Updated last year
- A visual catalogue + story of morphisms displayed across computational structures.☆129Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- Hypergraph Rewriting System☆92Updated last month
- language verification, construction, and analysis☆20Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- SKI combinators☆55Updated 8 years ago
- Catalog of Visual Math Tools☆102Updated 3 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- ☆17Updated 3 years ago
- multilingual dictionary of mathematical terminology☆20Updated last month
- A high-level programming language☆40Updated 10 months ago
- Catalogue of portals that maps out roadmap for self learners☆83Updated 2 years ago
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- Tunable sorting for responsive robustness and beyond☆18Updated 8 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- Compiler that has been integrated into Okami now☆24Updated 3 years ago
- Course on Metaprogramming☆72Updated 5 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 5 years ago