Skip to content
View jmlowenthal's full-sized avatar

Block or report jmlowenthal

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. agda-c agda-c Public

    Verified C programming in Agda

    Agda 16 1

  2. ocaml-cnf ocaml-cnf Public

    OCaml implementation of CNF reduction and the DPLL method for predicate logic

    OCaml

  3. idslib idslib Public

    A simple library to integrate IDS cameras into OpenCV

    C++ 8 6

  4. global-illumination global-illumination Public

    Monte Carlo global illumination renderer

    C++

  5. jackwickham/group-project-delta jackwickham/group-project-delta Public

    Platooning for autonomous LEGO Mindstorms vehicles

    Java 2 1

  6. routr routr Public

    A hackathon game about firewalls and networking. Built at Hack Cambridge 101.

    TypeScript 1