Alternatives and similar repositories for ct-consciousness:

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

• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• Genivia / Husky
  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
  ☆14Updated 4 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 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.
  ☆55Updated last month
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆22Updated last year
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆11Updated 9 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆15Updated this week
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 2 months ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated last month
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 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 month
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 5 months ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• jin / subtyping
  An implementation of structural subtyping of records and functions
  ☆13Updated 6 years ago
• cluesurf / tree
  A Data Modeling Programming Language
  ☆15Updated 3 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 7 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago