Popular repositories Loading

1. FPTL FPTL Public

   Functional Parallel Typified Language

   C++ 8 4

2. SHA-3 SHA-3 Public

   C# implementation of the SHA-3 algorithm.

   C# 5

3. Parallel-Programming Parallel-Programming Public

   "Parallel Programming" course materials

   Erlang 4 2

4. First-order_predicate_calculus_to_CNF First-order_predicate_calculus_to_CNF Public

   Program for converting formulas of the first-order predicate calculus into a conjunctive normal form.

   C# 3

5. Auto-Statistic Auto-Statistic Public

   A program for automatically collecting statistics on program execution.

   C# 2

6. Meteo Meteo Public

   Meteostation project

   C++ 2