Popular repositories Loading

1. handinui handinui Public

   A UI for UBC CS/ECE's command-line "handin" program.

   Java 5

2. embed-el embed-el Public

   Emacs package with utilities for embedded development with openocd

   Emacs Lisp 4

3. ivy-hoogle ivy-hoogle Public

   Hoogle integration for ivy in emacs

   Emacs Lisp 2 1

4. named-sop named-sop Public

   Dependently-typed sums and products, tagged by field name

   Haskell 2

5. redwood redwood Public

   A simple imperative programming language built to make small games.

   Haskell 2

6. minitracer2 minitracer2 Public

   Cross-platform stacktracer and debug information parser from scratch

   C++ 1