Alternatives and similar repositories for ct-consciousness

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

• 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.
  ☆59Updated 10 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆164Updated 5 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆129Updated 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.
  ☆48Updated 10 months ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 5 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆147Updated 3 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆26Updated 11 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 6 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆72Updated last month
• futureofcoding / futureofcoding.org
  An archive of Steve Krouse's Future of Coding research notes
  ☆149Updated 2 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 6 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• TikhonJelvis / Reactive-Life
  A functional reactive GUI for John Conway's Game of Life.
  ☆25Updated 9 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆74Updated 6 months ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• joshmarinacci / filament-gui
  ☆17Updated 3 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆85Updated 2 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆44Updated 6 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆18Updated 2 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 2 months ago