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
  ☆28Updated 4 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.
  ☆57Updated 6 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆149Updated last month
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 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 6 months ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆84Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• futureofcoding / futureofcoding.org
  The old Future of Coding website
  ☆145Updated this week
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆126Updated 3 years ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 10 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• prathyvsh / Visual-Math-Tools
  Catalog of Visual Math Tools
  ☆98Updated 3 years ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆18Updated 5 months ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆18Updated 2 years ago
• cpressey / Some-Papers-I-Really-Liked
  I refer you to the name of the repository
  ☆25Updated last year
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆143Updated 2 months ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated last year
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated last month
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆107Updated 9 years ago
• andrejbauer / marshall
  Real number computation software
  ☆126Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 3 months ago
• zachgk / catln
  A high-level programming language
  ☆39Updated 7 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 weeks ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated last year