philzook58 / knuckledragger

Related projects ⓘ

Alternatives and complementary repositories for knuckledragger

• harp-lab / gdlog
  ☆75Updated 2 weeks ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 6 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆90Updated 11 months ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆34Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆64Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• Tsche / magic_codec
  ☆33Updated 2 weeks ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆17Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆89Updated 2 weeks ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆43Updated 7 months ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆9Updated last month
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• Dicklesworthstone / grassmann_article
  ☆50Updated 5 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆89Updated last month
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• pytorch / expecttest
  ☆75Updated 2 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆129Updated 7 months ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆30Updated last month
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆128Updated last week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆22Updated 5 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆43Updated 2 months ago
• tekknolagi / db.py
  ☆22Updated 2 months ago
• pschanely / contractual-semver
  Contractual Semver
  ☆25Updated 2 years ago