Rust package to pluralize or singularize any word based on a count inspired on pluralize NPM package

A modern Prolog implementation written mostly in Rust.

UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

Awesome datalog libraries, tools and resources

A simple, fast and versatile Datalog database

Rust bindings for the Z3 solver.

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 and graph algorithms

🦜 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…