Alternatives and similar repositories for ct-consciousness:

Users that are interested in ct-consciousness are comparing it to the libraries listed below

• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆81Updated last year
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆11Updated 9 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 4 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 weeks ago
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆19Updated 4 months ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated last week
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆21Updated last month
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated last week
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated 2 years ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated last month
• prologbyexample / code
  ☆28Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• geoffreylitt / json-sheets
  Riffs on spreadsheets for manipulating JSON and building GUIs
  ☆16Updated 4 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• prathyvsh / Visual-Math-Tools
  Catalog of Visual Math Tools
  ☆94Updated 3 years ago