Alternatives and similar repositories for blog

Users that are interested in blog are comparing it to the libraries listed below

• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 5 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 2 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• mthom / scryer-shen
  ☆53Updated last month
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 9 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 4 months ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 5 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆107Updated this week
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆26Updated last week
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• vmchale / apple
  Apple array system
  ☆66Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆79Updated last week
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆35Updated 12 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆59Updated last year
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 2 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• fluffynukeit / adaspark
  ☆15Updated 3 years ago
• lecopivo / lean4-karray
  ☆13Updated 3 years ago