Open Human Ontology: A collaborative project to build a comprehensive, open, and structured human ontology for research and applications in AI and knowledge management.

A collection of formalized statements of conjectures in Lean.

A project to digitalise results from physics into Lean.

little bash script for tossing coins using facebook ping parity

Various bits and pieces for R - session data, some scripts

This project converts structured Lean code into an interactive browser game.

Building the natural numbers in Lean.

A gamification of the theorems in MATH40002 Analysis 1

Code/notes from intro python data science course.

Fetches up-to-date rates in json format and converts input currencies

Lean formalisation and verification of theorems in Silverman & Tate -- "Rational Points on Elliptic Curves"

beautifulsoup based scraper and visualizer for market data

non-monotonic logics in Lean

ongoing personal notes managed with obsidian

A small chrome extension for opening a random bookmark

A simple Monty Hall Problem game, with Monte Carlo Simulation shell script

Experiments with single/multi-layer perceptrons for entity resolution

Minimal Rust + PostgreSQL microservice (Actix Web), containerised with Docker. Includes Compose and CI publishing to Docker Hub.

Evaluating binary classification tasks with optimal sampling methods

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

A collection of (mostly) technical things every software developer should know about

Gin is a high-performance HTTP web framework written in Go. It provides a Martini-like API but with significantly better performance—up to 40 times faster—thanks to httprouter. Gin is designed for …

DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphic…

Testcontainers is a Python library that providing a friendly API to run Docker container. It is designed to create runtime environment to use during your automatic tests.

Python package for stratifying, sampling, and estimating model performance with fewer annotations.

Python and PySpark implementation of Goldstein et al.'s Scalelink method of data linkage.

This repository contains CROW, the Clerical Resolution Online Widget, an open-source project designed to help data linkers with their clerical matching needs!

Papers from the computer science community to read and discuss.