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. strat3 strat3 Public

   Strat3 is a general backtester meant to measure performance and diagnostic strategies.

   C++ 1

5. mlbaselines mlbaselines Public

   Modular Framework for Machine Learning

   Python 2 1

6. lython lython Public

   python parser

   C++ 2 2