Popular repositories Loading

1. pl_modulation pl_modulation Public

   Prolog 1

2. longtask_qa longtask_qa Public

   C++ 1

3. prisnif prisnif Public

   Forked from eugeneai/prisnif

   Prisnif theorem prover

   TeX

4. CLIPS2Prolog CLIPS2Prolog Public archive

   Транслятор CLIPS в Prolog. Программная реализация задания на курсовое проектирование. Задание подразумевало работу приложения с базой данных.

   Java

5. index_mod index_mod Public

   Rust

6. Index_presentation Index_presentation Public

   JavaScript