Mark Lavrentyev's repositories
VehicleNet
A convolutional neural network implementation in TensorFlow for classifying vehicles
verified-crdt
Formal verification of CRDTs in Lean 4. Based on https://doi.org/10.1145/2535838.2535848
Brainfuck-Interpreter
An interpreter for the Brainfuck language
brouwer-fp-formalization
A formalization of the Brouwer fixed point theorem in Lean
MNIST-Neural-Net
This is a neural network designed to train on the MNIST data set for recognizing handwritten digits.
TeamManager
A project to manage purchase requests.
mandelbrot
Explorations of the Mandelbrot set and Julia sets
question-answering-bert
Re-implementation of "A BERT Baseline for the Natural Questions"
vehicle-routing
A local search implementation of vehicle routing with limited truck capacities
algebraic-graphs
A verified implementation of the "Algebraic Graphs with Class" functional pearl in Lean.
CIFAR10Net
A neural network for classifying the CIFAR 10 dataset
fp-exploration
Exploration of various functional programming concepts, including recursion schemes, monads, etc.
geomethic-mendian
Exploration of the convergence described in https://xkcd.com/2435/
kodkod-cli
A fork of kodkod-cli that is compatible with my fork of kodkod.
mlavrent.github.io
Personal website for displaying project and maybe a small blog
MNIST-ConvNet
A convolutional neural network application in Python for digit classification
MorseDecoder
Decodes a text input of morse code, space-delimited for letters
Network-Scanner
Scans a given network and graphs over the day how many devices are connected to the network
opentelemetry-dotnet-contrib
This repository contains set of components extending functionality of the OpenTelemetry .NET SDK. Instrumentation libraries, exporters, and other components can find their home here.
PowerRankCalculator
A calculator to calculate OPR, Vault PR, and Foul PR for FRC
Quarter4StatsProject
A script to get data for an AP Stats Project analyzing the importance of autonomous in FIRST Power Up
sat-project
A collection of SAT solver implementations
Snake
This is the classic snake game with several variations