Pinned Loading

1. cpp-mv-poly cpp-mv-poly Public

   Multivariate polynomials and BMS-algorithm in C++

   C++ 3

2. formal-langs-textbook-ru formal-langs-textbook-ru Public

   A textbook on formal languages and automata, in Russian

   TeX 26 2

3. prl-julia/subtype-fuzzer prl-julia/subtype-fuzzer Public

   Haskell

4. prl-julia/julia-type-stability-checker prl-julia/julia-type-stability-checker Public

   Julia Type Stabilty Statically

   Julia 2 1

5. adventofcode adventofcode Public

   Haskell 1