Giter VIP home page Giter VIP logo

Mark Lavrentyev's Projects

accenter icon accenter

A deep net for classifying and debiasing accents

algebraic-graphs icon algebraic-graphs

A verified implementation of the "Algebraic Graphs with Class" functional pearl in Lean.

cifar10net icon cifar10net

A neural network for classifying the CIFAR 10 dataset

dinonet icon dinonet

An attempt at getting a computer to play Chrome's dino game on its own.

kodkod icon kodkod

Kodkod solver for relational logic

kodkod-cli icon kodkod-cli

A fork of kodkod-cli that is compatible with my fork of kodkod.

mandelbrot icon mandelbrot

Explorations of the Mandelbrot set and Julia sets

metroapp icon metroapp

Finds your way through the metro in certain cities.

mnist-convnet icon mnist-convnet

A convolutional neural network application in Python for digit classification

mnist-neural-net icon mnist-neural-net

This is a neural network designed to train on the MNIST data set for recognizing handwritten digits.

morsedecoder icon morsedecoder

Decodes a text input of morse code, space-delimited for letters

network-scanner icon network-scanner

Scans a given network and graphs over the day how many devices are connected to the network

newtab icon newtab

A new tab page. Built to be used with the New Tab Override add-on for Firefox and Chrome.

quarter4statsproject icon quarter4statsproject

A script to get data for an AP Stats Project analyzing the importance of autonomous in FIRST Power Up

racklog icon racklog

Prolog, modified to provide a reified search tree and reasons for query failures.

snake icon snake

This is the classic snake game with several variations

vehicle-routing icon vehicle-routing

A local search implementation of vehicle routing with limited truck capacities

vehiclenet icon vehiclenet

A convolutional neural network implementation in TensorFlow for classifying vehicles

verified-crdt icon verified-crdt

Formal verification of CRDTs in Lean 4. Based on https://doi.org/10.1145/2535838.2535848

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.