jmlowenthal

Pinned Repositories

group-project-delta
Platooning for autonomous LEGO Mindstorms vehicles
Language:Java2 8 481
agda-c
Verified C programming in Agda
Language:Agda16 5 121
dokuwiki-katex
DokuWiki plugin - protects LaTeX math, then parses with KaTeX
Language:PHP2 3 01
global-illumination
Monte Carlo global illumination renderer
Language:C++0 3 00
hivemind
Simple illustration of collective intelligence
Language:C++1 2 00
idslib
A simple library to integrate IDS cameras into OpenCV
Language:C++8 2 16
lidar-vision
Building detection in LIDAR data using OpenCV
Language:C++1 2 00
ocaml-cnf
OCaml implementation of CNF reduction and the DPLL method for predicate logic
Language:OCaml0 2 00
routr
A hackathon game about firewalls and networking. Built at Hack Cambridge 101.
Language:TypeScript1 4 00
staged-streams.agda
An implementation of the staged Strymonas streams library in Agda for C
Language:Haskell8 4 11

jmlowenthal's Repositories

jmlowenthal/agda-c
Verified C programming in Agda
Language:Agda16 5 121
jmlowenthal/idslib
A simple library to integrate IDS cameras into OpenCV
Language:C++8 2 16
jmlowenthal/staged-streams.agda
An implementation of the staged Strymonas streams library in Agda for C
Language:Haskell8 4 11
jmlowenthal/dokuwiki-katex
DokuWiki plugin - protects LaTeX math, then parses with KaTeX
Language:PHP2 3 01
jmlowenthal/hivemind
Simple illustration of collective intelligence
Language:C++1 2 00
jmlowenthal/lidar-vision
Building detection in LIDAR data using OpenCV
Language:C++1 2 00
jmlowenthal/routr
A hackathon game about firewalls and networking. Built at Hack Cambridge 101.
Language:TypeScript1 4 00
jmlowenthal/survey
Pathfinding and route-planning utilities for drone-based area surveying
Language:C++1 3 00
jmlowenthal/global-illumination
Monte Carlo global illumination renderer
Language:C++0 3 00
jmlowenthal/ocaml-cnf
OCaml implementation of CNF reduction and the DPLL method for predicate logic
Language:OCaml0 2 00
jmlowenthal/agda-stdlib
The Agda standard library
Language:Agda1 0
jmlowenthal/algo
Algorithms (2016-17)
Language:Java2 0
jmlowenthal/barnes-hut
An implementation of the Barnes-Hut algorithm for efficient particle simulation.
Language:C++2 0
jmlowenthal/databases
Databases (2016-17)
Language:Java2 0
jmlowenthal/distributed-particles
Parallelised particle simulation
Language:C++2 0
jmlowenthal/flocking
Classic Boids simulation variant
Language:C++2 0
jmlowenthal/focs
Foundations of Computer Science (2016-17)
Language:Standard ML2 0
jmlowenthal/genetic
Genetic algorithm research
Language:C++2 0
jmlowenthal/gfx
Graphics (2016-17)
Language:Java2 0
jmlowenthal/markdown-it-katex
Add Math to your Markdown with a KaTeX plugin for Markdown-it
Language:JavaScript2 0
jmlowenthal/matrix
C++ matrix library
Language:C++2 0
jmlowenthal/mlrwd
Machine Learning and Real World Data (2016-17)
Language:Java2 0
jmlowenthal/node-md
A Markdown server written in NodeJS, supporting LaTeX math and other extensions.
Language:JavaScript2 0
jmlowenthal/oop
Object-Oriented Programming (2016-17)
Language:Java2 0
jmlowenthal/php-wiki
A lightweight wiki system, supporting markdown/markdown-like syntax and LaTeX math
Language:PHP2 0
jmlowenthal/prejava
Preparation for Computer Science (2016-17)
Language:Java2 0
jmlowenthal/progc
Programming in C (2017–2018)
Language:C3 0
jmlowenthal/questions
Exam questions database front-end (A2 project)
Language:PHP2 0
jmlowenthal/racetrack
PHP implementation of the pen and paper vector racing game
Language:PHP2 0
jmlowenthal/scicomp
NST Scientific Computing
Language:Matlab2 0