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
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆11Updated 9 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• Genivia / Husky
  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
  ☆14Updated 4 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated last week
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated this week
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆17Updated this week
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• 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 2 months ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆68Updated 11 months ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 5 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 7 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆73Updated 3 months ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago