Skip to content
View zorodendron's full-sized avatar
💭
formal logic
💭
formal logic

Block or report zorodendron

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A C function for solving 8-bit SAT problems using bit manipulation for brute force. Surprisingly fast.

C 1 Updated Aug 28, 2019

Tactics for discharging Lean goals into SMT solvers.

Lean 159 19 Updated Jan 16, 2025

higher order dependently typed logic programing

Haskell 170 9 Updated Aug 7, 2018

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Haskell 147 13 Updated Mar 9, 2024

Elsa is a lambda calculus evaluator

Haskell 183 21 Updated Jun 10, 2024

Current [2025·01] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless text editor.

HTML 28 Updated Jan 16, 2025

A lightweight version of Milvus

Python 293 36 Updated Jan 10, 2025

A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

OCaml 43 8 Updated May 29, 2022
Agda 21 3 Updated Sep 8, 2021

GAPT: General Architecture for Proof Theory

Scala 95 18 Updated Nov 27, 2024

An inductive logic programming system

Python 212 38 Updated Jan 3, 2025

A statically typed embedding of miniKanren in Haskell

Haskell 8 Updated Oct 9, 2024

LoTREC is an automated theorem prover for modal and description logic. It allows students and researchers in logic to define well-known and new exotic logics with Kripke's semantics, and to check t…

Java 6 4 Updated Nov 14, 2018

Rust bindings for Metal

Rust 627 112 Updated Jan 15, 2025

Restoration for TEMPEST images using deep-learning

Python 578 81 Updated Dec 17, 2024

Scripts for analyzing LiquidHaskell benchmark logs

Haskell 2 1 Updated Jul 24, 2016

Tutorials and courses for Z3

JavaScript 71 25 Updated Dec 16, 2024

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

C# 32 4 Updated Jan 14, 2025

A first-order concurrent automated theorem prover

Go 14 1 Updated Sep 21, 2024

A monad for interfacing with external SAT solvers

Haskell 64 15 Updated Oct 26, 2024

A monad for interfacing with external SMT solvers

Haskell 13 1 Updated Nov 29, 2024

Copies of prolog solvers for use from python

Prolog 17 1 Updated Jul 8, 2024

Contextual Modal Type Theory in Haskell

Haskell 1 Updated Dec 1, 2015

Agda formalisation of dual-context constructive modal logics.

Agda 20 2 Updated Apr 1, 2020

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

311 11 Updated Jan 17, 2025

A massively parallel, high-level programming language

Rust 17,919 442 Updated Dec 26, 2024

Logic and Mechanized Reasoning

Lean 93 22 Updated Jan 11, 2025

Non-empty Vectors

Haskell 24 10 Updated Dec 30, 2024
Haskell 7 Updated Jan 5, 2023

Re-implementation of the TASO compiler using equality saturation

Rust 123 19 Updated Jun 28, 2021
Next