philzook58 / knuckledragger

Related projects ⓘ

Alternatives and complementary repositories for knuckledragger

• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• harp-lab / gdlog
  ☆75Updated 3 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated 2 weeks ago
• Dicklesworthstone / grassmann_article
  ☆50Updated 5 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 7 months ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆94Updated last month
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆89Updated last month
• Tsche / magic_codec
  ☆34Updated 3 weeks ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆93Updated 8 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆130Updated 7 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• briangu / klongpy
  High-Performance Klong array language in Python.
  ☆120Updated 5 months ago
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆49Updated this week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated 2 weeks ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆43Updated 2 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆23Updated 5 months ago
• pschanely / contractual-semver
  Contractual Semver
  ☆25Updated 2 years ago
• goblint / cil
  C Intermediate Language
  ☆142Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• catern / rsyscall
  Process-independent interface to Linux system calls
  ☆68Updated 2 years ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated 8 months ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆34Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago