ramonfmir

lean-scheme

Schemes in Lean (v2)

pagerank-challenge

Advanced Computer Architecture Coursework.

ChaosFractals

Website and research on chaos theory and fractlas, for first year JMC. Group Project with Ramon Fernandez, Robbie Holland, Nickolay Daminov and Rafael Ballestiero.

lcti

Lambda Calculus Type Inferrer

leanSOS

Sum-of-squares programming in Lean.

peyes

Experiment using two Raspberry Pis, each with a camera module.

deblurring-public

deblurring-public

verified_transfo

Verification of Data Layout Transformations in Coq

airflow

Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

best-of-lean4

A list of awesome lean4 projects.

CvxLean-case-studies

CvxLean-thesis

cvxpy

A Python-embedded modeling language for convex optimization problems.

deblurring-android-app

egg

egg is a flexible, high-performance e-graph library

egg-tactic-code

FFIGMP

junglean

Random forest implementation in Lean.

lean-category-theory

An experimental category theory library for Lean

lean-premise-selection

lean-stacks-project

Formal verification of parts of the Stacks Project in Lean

lean4

Lean 4 programming language and theorem prover

lean4-experiments

LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

mathlib

Lean mathematical components library

mathlib4

Work in progress mathlib port for lean 4

mathport

Mathport is a tool for porting Lean3 projects to Lean4

road-dataset

Download and pre-processing of ROAD dataset

scallop

Framework and Language for Neuro-Symbolic Programming

smt2_interface

Interface to SMT2 solvers