drever / ct-consciousness

Related projects: ⓘ

• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 3 years ago
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆10Updated 8 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆58Updated 4 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆17Updated 2 weeks ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆16Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• 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 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆87Updated last year
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 3 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆62Updated 5 months ago
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated last year
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 2 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆17Updated 2 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆36Updated 5 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• prologbyexample / code
  ☆26Updated last year
• mattecapu / categorical-systems-theory
  ☆34Updated 2 months ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆14Updated last year
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated 2 weeks ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆25Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆52Updated last month
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆66Updated 3 months ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆32Updated 11 years ago