Skip to content
View dimidd's full-sized avatar

Block or report dimidd

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

A set of skills to call your agent Bayes. Thomas Bayes.

HTML 164 18 Updated Jul 12, 2026

A vector index built on TurboQuant, written in Rust with Python bindings

Rust 14,759 1,324 Updated Aug 10, 2026

We want to try and evaluate LLMs using Knowledge Graphs

Python 113 10 Updated May 2, 2023

CP+SAT solver framework built to be reliable, performant, and extensible

Rust 56 13 Updated Aug 10, 2026

A verification toolchain for Rust programs

OCaml 907 96 Updated Aug 13, 2026

Parseltongue is a DSL for systems which refuse to speak falsehood

Python 93 7 Updated Aug 5, 2026

A FHIR terminology server.

Clojure 72 8 Updated Jun 11, 2026

Property-based testing for web and terminal UIs

Rust 1,406 49 Updated Aug 13, 2026
PLpgSQL 4 1 Updated Feb 28, 2022

MaxiCP

Java 40 5 Updated Jul 22, 2026

A curated list of awesome things related to FastAPI

11,591 883 Updated Jun 24, 2026
Lasso 26 12 Updated Jan 27, 2026

dotfiles and utilities accumulated over the years which I want on most of my Mac/Linux systems

Python 25 5 Updated Aug 10, 2026

An experimental language for causal reasoning

Python 275 21 Updated Jul 24, 2026

Scientific Inkscape: Inkscape extensions for figure resizing and editing

Python 935 32 Updated Aug 11, 2026

bb25 is a fast, self-contained BM25 + Bayesian calibration implementation with a minimal Python API.

Rust 149 22 Updated Mar 17, 2026

Fully automatic censorship removal for language models

Python 27,466 2,970 Updated Aug 7, 2026
Python 2 2 Updated Jul 29, 2025

A free, open-source inference and learning library for Sum-Product Networks (SPN)

Go 25 5 Updated Jan 16, 2019

Probabilistic programming system for fast and exact symbolic inference

Python 86 9 Updated Apr 12, 2026

Probabilistic Models in Python

Python 12 7 Updated May 13, 2026

Efficient and scalable zero-shot entity linking

Python 146 12 Updated Jul 20, 2026

Sum Product Flow: An Easy and Extensible Library for Sum-Product Networks

Python 312 83 Updated Apr 14, 2026

A python Linear Programming API

Python 2,467 430 Updated Jul 20, 2026

Shannon is an AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before they reach production.

TypeScript 46,789 5,402 Updated Aug 14, 2026

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

Python 38,356 2,686 Updated Aug 11, 2026

yq is a portable command-line YAML, JSON, XML, CSV, TOML, HCL and properties processor

Go 15,826 817 Updated Aug 6, 2026

NeurIPS'22 | TransTab: Learning Transferable Tabular Transformers Across Tables

Python 216 30 Updated Mar 13, 2025

Python implementation of the conformal prediction framework.

Python 478 98 Updated Mar 20, 2021

Application and blog explaining my interpretations of In-run Data Shapley

Jupyter Notebook 33 1 Updated Jan 30, 2025
Next