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:
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆15Updated 4 years ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆12Updated 9 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- interactive programming tutorials, powered by Github and Docker☆142Updated last month
- The rule-based graph programming language GP 2☆68Updated last year
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆22Updated last month
- Finite state machines as graphs☆59Updated 5 years ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆19Updated 5 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated 2 years ago
- js lambda calculus implementation of the fibonacci sequence☆19Updated 3 years ago
- Catalogue on the nature and bounds of thought☆27Updated 2 years ago
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- The Codebase UI that ships with UCM☆16Updated 2 weeks ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- ☆145Updated last month
- A functional fluent API generator☆34Updated 2 years ago
- lightweight property graph as javascript module☆18Updated 10 months ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 2 months ago
- Catalog of visual lambda calculi☆143Updated 3 months ago
- ☆14Updated 2 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 5 months ago
- Catalogue of the hisotry of Mathematics☆32Updated 2 years ago
- A Lisp written in about 200 lines of Ink, featuring an interactive literate programming notebook☆41Updated 4 years ago