mlavrent Goto Github PK
Name: Mark Lavrentyev
Type: User
Company: @microsoft
Bio: Exploring language design & compilers!
Location: Pacific Northwest
Blog: mlavrentyev.com
Name: Mark Lavrentyev
Type: User
Company: @microsoft
Bio: Exploring language design & compilers!
Location: Pacific Northwest
Blog: mlavrentyev.com
A deep net for classifying and debiasing accents
A verified implementation of the "Algebraic Graphs with Class" functional pearl in Lean.
An interpreter for the Brainfuck language
A formalization of the Brouwer fixed point theorem in Lean
A neural network for classifying the CIFAR 10 dataset
An attempt at getting a computer to play Chrome's dino game on its own.
Exploration of various functional programming concepts, including recursion schemes, monads, etc.
Exploration of the convergence described in https://xkcd.com/2435/
Kodkod solver for relational logic
A fork of kodkod-cli that is compatible with my fork of kodkod.
Explorations of the Mandelbrot set and Julia sets
Finds your way through the metro in certain cities.
Personal website for displaying project and maybe a small blog
A convolutional neural network application in Python for digit classification
This is a neural network designed to train on the MNIST data set for recognizing handwritten digits.
Decodes a text input of morse code, space-delimited for letters
Scans a given network and graphs over the day how many devices are connected to the network
A new tab page. Built to be used with the New Tab Override add-on for Firefox and Chrome.
The OpenTelemetry .NET Client
A calculator to calculate OPR, Vault PR, and Foul PR for FRC
A script to get data for an AP Stats Project analyzing the importance of autonomous in FIRST Power Up
Re-implementation of "A BERT Baseline for the Natural Questions"
Prolog, modified to provide a reified search tree and reasons for query failures.
A simple ray tracer written in rust
A collection of SAT solver implementations
This is the classic snake game with several variations
A project to manage purchase requests.
A local search implementation of vehicle routing with limited truck capacities
A convolutional neural network implementation in TensorFlow for classifying vehicles
Formal verification of CRDTs in Lean 4. Based on https://doi.org/10.1145/2535838.2535848
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.