drever / ct-consciousnessLinks
☆15Updated 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:
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Catalog of visual lambda calculi☆158Updated 4 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 9 months ago
- SKI combinators☆55Updated 8 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆129Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- purple: compiling a reflective language☆33Updated last year
- interactive programming tutorials, powered by Github and Docker☆143Updated 5 months ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- ☆31Updated 2 years ago
- A high-level programming language☆40Updated 9 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆23Updated 5 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- Mystery Languages☆41Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Course on Metaprogramming☆72Updated 4 months ago
- Repo to track the evolution of notation in arts and sciences☆146Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 weeks ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆30Updated last month
- source code for the bondi programming language☆42Updated 6 years ago
- ☆37Updated last year
- Another attempt to realize my programming language☆23Updated 9 months ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Astview is a graphical viewer for abstract syntax trees☆25Updated 3 years ago