Pinned Loading

1. FOLProver FOLProver Public

   Proof Assistant for First Order Logic with lean-like tactics implemented in OCaml

   OCaml

2. lz77 lz77 Public

   LZ77 (Lempel Ziv 77) with suffix array ANSI C implementation

   C

3. bartlomiej-stefanski/BigOS bartlomiej-stefanski/BigOS Public

   Forked from Operacja-System/BigOS

   An operating system developed at University of Wrocław tergeting the RISC-V architecture

   C 1 2

4. II-23/projekt-piekielna-rezolucja II-23/projekt-piekielna-rezolucja Public

   Rogue-Like educational game about finding proofs of contradiction with resolution

   Python 5 1

5. michal-interpreter-www19 michal-interpreter-www19 Public

   Forked from mhorod/www19-quals

   Tests for WWW19 Interpreters course qualification tasks.

   Python

6. marcinwozniak0/BakcylProgramowania_2020 marcinwozniak0/BakcylProgramowania_2020 Public

   C++ 4 2