Pinned Repositories
lean-premise-selection
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.
language-wacc
Atom package for the WACC language.
lcti
Lambda Calculus Type Inferrer
lean-scheme
Schemes in Lean (v2)
leanSOS
Sum-of-squares programming in Lean.
pagerank-challenge
Advanced Computer Architecture Coursework.
peyes
Experiment using two Raspberry Pis, each with a camera module.
verified_transfo
Verification of Data Layout Transformations in Coq
CvxLean
Convex optimization modeling in Lean 4
ramonfmir's Repositories
ramonfmir/lean-scheme
Schemes in Lean (v2)
ramonfmir/pagerank-challenge
Advanced Computer Architecture Coursework.
ramonfmir/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.
ramonfmir/lcti
Lambda Calculus Type Inferrer
ramonfmir/leanSOS
Sum-of-squares programming in Lean.
ramonfmir/peyes
Experiment using two Raspberry Pis, each with a camera module.
ramonfmir/deblurring-public
deblurring-public
ramonfmir/verified_transfo
Verification of Data Layout Transformations in Coq
ramonfmir/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
ramonfmir/best-of-lean4
A list of awesome lean4 projects.
ramonfmir/CvxLean-case-studies
ramonfmir/CvxLean-thesis
ramonfmir/cvxpy
A Python-embedded modeling language for convex optimization problems.
ramonfmir/deblurring-android-app
ramonfmir/egg
egg is a flexible, high-performance e-graph library
ramonfmir/egg-tactic-code
ramonfmir/FFIGMP
ramonfmir/junglean
Random forest implementation in Lean.
ramonfmir/lean-category-theory
An experimental category theory library for Lean
ramonfmir/lean-premise-selection
ramonfmir/lean-stacks-project
Formal verification of parts of the Stacks Project in Lean
ramonfmir/lean4
Lean 4 programming language and theorem prover
ramonfmir/lean4-experiments
ramonfmir/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
ramonfmir/mathlib
Lean mathematical components library
ramonfmir/mathlib4
Work in progress mathlib port for lean 4
ramonfmir/mathport
Mathport is a tool for porting Lean3 projects to Lean4
ramonfmir/road-dataset
Download and pre-processing of ROAD dataset
ramonfmir/scallop
Framework and Language for Neuro-Symbolic Programming
ramonfmir/smt2_interface
Interface to SMT2 solvers