Beast code in Giters

Jamie Lowenthal's repositories

agda-c

Verified C programming in Agda

Language:Agda16 5 12

idslib

A simple library to integrate IDS cameras into OpenCV

Language:C++8 2 1

staged-streams.agda

An implementation of the staged Strymonas streams library in Agda for C

Language:Haskell8 4 1

dokuwiki-katex

DokuWiki plugin - protects LaTeX math, then parses with KaTeX

Language:PHPMIT2 30

hivemind

Simple illustration of collective intelligence

Language:C++100

lidar-vision

Building detection in LIDAR data using OpenCV

Language:C++100

routr

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

Language:TypeScript1 40

survey

Pathfinding and route-planning utilities for drone-based area surveying

Language:C++MIT1 30

global-illumination

Monte Carlo global illumination renderer

Language:C++000

ocaml-cnf

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

Language:OCaml020

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION010

algo

Algorithms (2016-17)

Language:Java000

barnes-hut

An implementation of the Barnes-Hut algorithm for efficient particle simulation.

Language:C++000

databases

Databases (2016-17)

Language:Java000

distributed-particles

Parallelised particle simulation

Language:C++000

flocking

Classic Boids simulation variant

Language:C++000

focs

Foundations of Computer Science (2016-17)

Language:Standard ML000

genetic

Genetic algorithm research

Language:C++020

gfx

Graphics (2016-17)

Language:Java000

markdown-it-katex

Add Math to your Markdown with a KaTeX plugin for Markdown-it

Language:JavaScriptMIT000

matrix

C++ matrix library

Language:C++020

mlrwd

Machine Learning and Real World Data (2016-17)

Language:Java020

node-md

A Markdown server written in NodeJS, supporting LaTeX math and other extensions.

Language:JavaScript020

oop

Object-Oriented Programming (2016-17)

Language:Java020

php-wiki

A lightweight wiki system, supporting markdown/markdown-like syntax and LaTeX math

Language:PHP000

prejava

Preparation for Computer Science (2016-17)

Language:Java020

progc

Programming in C (2017–2018)

Language:C030

questions

Exam questions database front-end (A2 project)

Language:PHP020

racetrack

PHP implementation of the pen and paper vector racing game

Language:PHP000

scicomp

NST Scientific Computing

Language:Matlab020