Rust bindings for the Z3 solver.

A modern Prolog implementation written mostly in Rust.

Python interface for SWI-Prolog

Self-serve BI to 10x your data team ⚡️

A simple tutorial on how to call a C function from Rust 🦀

DuckDB extension that adds support for SQL/PGQ

🦜 Super Expressive is a zero-dependency JavaScript library for building regular expressions in (almost) natural language

A react Timeline component with virtual rendering

A modern, beautiful, customizable date picker for React

Source code for 2D Character Controller tutorial for Unity.

A 2D Platform Controller in Unity

A small example module with packaged cython and cython-wrapped c++ code showing how to build this into a package.

VHDL Library for implementing common DSP functionality.

Effortless method to record provenance in Python

Python library for recursive Bayesian estimation (Bayesian filtering)

scikit-learn course for 2017 NGCM Summer Academy

VHDL-2008 Support Library

VHDL 2008/93/87 simulator

Statistical data visualization in Python

Python scripts used for device control and data analysis at University of Southampton

Repository with code for the Southampton Python User Group talk on Cython

Some Python Implementations of the Kalman Filter

Python data analysis course for 2015 NGCM Summer Academy

This repository contains LaTeX class and template files to produce a PhD Thesis following the thesis guidelines of the University of Southampton, UK.

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

VHDL for basic floating-point operations.

A beamer .cls class for University of Southampton presentations