Lean 4 programming language and theorem prover

Embedding Pointful Array Programming in Python

A mediocre module management system for dealing with multiple versions of self-compiled libraries

Official main repository for LFortran

A proof assistant for higher-dimensional type theory

Examples and code demonstrations for the Image Processing module at Durham University

List of papers studying machine learning through the lens of category theory

A simple REPL for Lean 4, returning information about errors and sorries.

The GAP package Digraphs

Helper toolkit for creating your own Lean 4 UserWidgets

LLMs as Copilots for Theorem Proving in Lean

A systems theorem prover

Dart chess library for native platforms

A library for lattice-based multiparty homomorphic encryption in Go

The Intel Homomorphic Encryption (HE) toolkit is the primordial vehicle for the continuous distribution of the Intel HE technological innovation to users. The toolkit has been designed with usabili…

Interrupted Time Series analysis to examine the effect of Reddit's banning of r/CoonToown on users who used to participate in the forum.

Hybrid Approaches to Detect Comments Violating Macro Norms on Reddit

Tutorial on computational models of language change

OpenNARS for Research 3.0+

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

Arch Linux Security Tracker

PoC for communicating with an ELAN 04f3:0c4c fingerprint reader - See link for libfprint driver info

prototype linux driver for elantech spi-based fingerprint sensors

A framework for working with inference rules.

Lichess analysis for chess.com games

A beautiful, simple, clean, and responsive Jekyll theme for academics