met4citizen / Hypergraph

Related projects ⓘ

Alternatives and complementary repositories for Hypergraph

• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆27Updated 8 months ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆44Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆65Updated 2 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆103Updated 3 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆24Updated this week
• VictorTaelin / Interaction-Type-Theory
  ☆110Updated 9 months ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆31Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆108Updated 3 weeks ago
• frostburn / ts-geometric-algebra
  TypeScript Geometric Algebra Generator
  ☆12Updated 9 months ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆66Updated 5 months ago
• loda-lang / loda-rust
  Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.
  ☆24Updated 2 months ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆84Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆100Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆108Updated 6 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated 11 months ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated last year
• zachgk / catln
  A high-level programming language
  ☆36Updated this week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• engraftdev / engraft
  ☆35Updated 3 months ago
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆14Updated 8 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 2 years ago
• HigherOrderCO / HVM1
  A massively parallel, optimal functional runtime in Rust
  ☆27Updated 3 months ago