Popular repositories Loading

1. frankenscript frankenscript Public

   A tool to explore and visualize region-based ownership in dynamic programming languages.

   C++ 9 1

2. notebooks notebooks Public

   Java 1 1

3. marielund marielund Public

   Compute kernel for stencil applications in C++ and Java

   C++

4. pf pf Public

   A LaTeX package for doing proof by cases

   TeX

5. trieste-miniml trieste-miniml Public

   Trieste implementation of MiniML with type inference

   C++ 1

6. harbour harbour Public

   Python