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