Popular repositories Loading

1. plwm plwm Public

   An X11 window manager written in Prolog

   Prolog 285 7

2. srek srek Public

   A small sed-like CLI tool based on structural regular expression written in C.

   C 8

3. elte-ik-cpp elte-ik-cpp Public

   A collection of lecture materials I have written (in Hungarian!) for C++ classes at ELTE-IK.

   C++ 1 1

4. stlc-agda-elab stlc-agda-elab Public

   Agda formalisation of an elaborator for a simply typed language

   Agda 1

5. nvim-mbt nvim-mbt Public

   A model based approach to testing Neovim's mode transitions.

   TeX

6. CodeCompass CodeCompass Public

   Forked from Ericsson/CodeCompass

   CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java

   C++