ramonfmir Goto Github PK

airflow

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

best-of-lean4

A list of awesome lean4 projects.

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.

cvxlean-case-studies

cvxlean-thesis

cvxpy

A Python-embedded modeling language for convex optimization problems.

deblurring-android-app

deblurring-public

deblurring-public

egg

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

egg-tactic-code

ffigmp

junglean

Random forest implementation in Lean.

language-wacc

Atom package for the WACC language.

lcti

Lambda Calculus Type Inferrer

lean-category-theory

An experimental category theory library for Lean

lean-premise-selection

lean-scheme

Schemes in Lean (v2)

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.

leansos

Sum-of-squares programming in Lean.

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

pagerank-challenge

Advanced Computer Architecture Coursework.

peyes

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

picasso

RaspberryPi C Project. ARM11 emulator and assembler. Also a bare-metal LED art platform. Imperial College First Year, summer term. Group Project with Ramon Fernandez, Robbie Holland and Jenny Lea.

road-dataset

Download and pre-processing of ROAD dataset

scallop

Framework and Language for Neuro-Symbolic Programming