Pinned Loading

1. typer typer Public

   An experimental functional programing language. Typer combines a proof assitant and a powerful macro system to generate safer code.

   OCaml 2

2. symdiff symdiff Public

   Symbolic differentiation in C++, Python, C, Java

   C++ 6

3. DynamicLoading DynamicLoading Public

   load objects from DLL

   C++ 1

4. mlbaselines mlbaselines Public

   Modular Framework for Machine Learning

   Python 2 1

5. lython lython Public

   python parser

   C++ 3 3

6. mila-iqia/milabench mila-iqia/milabench Public

   Repository of machine learning benchmarks

   Python 33 26