Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Seeker04
A curated list of projects in awesome lists by Seeker04 .
https://github.com/seeker04/srek
A small sed-like CLI tool based on structural regular expression written in C.
c regex structural-regex structural-regular-expressions
Last synced: 11 Nov 2024
https://github.com/seeker04/elte-ik-cpp
A collection of lecture materials I have written (in Hungarian!) for C++ classes at ELTE-IK.
Last synced: 12 Oct 2024
https://github.com/seeker04/stlc-agda-elab
Agda formalisation of an elaborator for a simply typed language
Last synced: 11 Nov 2024
https://github.com/seeker04/nvim-mbt
A model based approach to testing Neovim's mode transitions.
model-based-testing neovim nvim testing
Last synced: 11 Nov 2024