My solutions to the assignments in the book: "A Student’s Guide to Bayesian Statistics" by Ben Lambert.

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Parallel computing with task scheduling

The hacker's browser.

The code coverage tool for Python

GitHub Action for python coverage publish & analysis

A python library to manipulate formal languages and various automata

A Python library for simulating finite automata, pushdown automata, and Turing machines

An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting

Official implementation for ICDAR 2021 best poster paper "Handwritten Mathematical Expression Recognition with Bidirectionally Trained Transformer"

An implementation of 1D, 2D, and 3D positional encoding in Pytorch and TensorFlow

Sly Lex Yacc

NLTK Source

Production-Grade Container Scheduling and Management

Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.

An environment for learning formal mathematical reasoning from scratch

The Abstraction and Reasoning Corpus

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Statistical Rethinking Course for Jan-Mar 2023

TensorFlow Reinforcement Learning

Jupyter notebook tutorials from QuantConnect website for Python, Finance and LEAN.

Open sourced research notebooks by the QuantConnect team.

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

AI Hilbert is an algebraic geometric based discovery system (based on Putinar's Positivstellensatz), that enables the discovery of fundamental laws of nature (or non-physical systems) based on know…

The HOL Light theorem prover

The DRAT-trim proof checker

A Python package for causal inference in quasi-experimental settings