Skip to content
View mlavrent's full-sized avatar
🚲
Biking around
🚲
Biking around

Organizations

@brownplt @brownfsae

Block or report mlavrent

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. racklog racklog Public

    Forked from racket/racklog

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

    Racket 1

  2. tnelson/Forge tnelson/Forge Public

    Forge: A Tool and Language for Teaching Formal Methods

    Racket 70 9

  3. vehicle-routing vehicle-routing Public

    A local search implementation of vehicle routing with limited truck capacities

    Python 1

  4. question-answering-bert question-answering-bert Public

    Re-implementation of "A BERT Baseline for the Natural Questions"

    Jupyter Notebook

  5. mandelbrot mandelbrot Public

    Explorations of the Mandelbrot set and Julia sets

    JavaScript 1

  6. raytracer raytracer Public

    A simple ray tracer written in rust

    Rust