virtual-types.nvim. Neovim plugin that shows type annotations as virtual text
417mdeval.nvim. Neovim plugin that evaluates code blocks inside documents
230go-tmux. A library to manage tmux sessions/windows/panes.
54MISRA-Example-Suite. @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite
38go-taskwarrior. Golang library to interact with taskwarrior database
35wasm-wxwidgets-demo. POC: Render the same OpenGL scene using wxWidgets and WebAssembly.
29IEC.vim. Vim mode for editing IEC 61131-3 programs.
23qtask. GUI organizer based on Taskwarrior
23moonsmith. A random generator of Lua programs
12dotfiles. Personal configuration files, scripts, etc.
9afl-ts. Tree-sitter based AFL++ mutator for AST-aware fuzzing of structured inputs.
8anki-tray. Anki add-on: system tray minimization; with i3wm support.
6modbus-restapi. Expose Modbus TCP devices via REST API.
6cppcheck-nvd-checker. Helper scripts to verify Cppcheck bug-hunting mode on NVD CVE datasets
5evm-decompiler. EVM bytecode decompiler
4pocketbook-sync. CLI utility for syncing book positions between PocketBook E-reader and Zathura.
4folderol. A toy theorem prover
4tsgen. Tree-sitter based fuzzing corpus generator.
4gol-solver. A solver for John Conway's "Game of Life" based on z3.
3tolk-less. Tolk less – fix the math! TON compiler fuzzer
3Mutate.lean. Mutation testing for Lean4
3awesome-ton-security. A curated list of awesome ton security resources
2scilla.nvim. A neovim plugin for Scilla.
2multifuzz. Multi-engine fuzzing orchestrator for Rust (AFL++, honggfuzz, libFuzzer)
2smol. A minimal, monospaced blogging theme for Hugo that respects your privacy and is easy on your bandwidth.
1fluentxyz-docs-docusaurus. Official Open Source Fluent Documentation With Docusaurus
1jubnzv.github.io.
1aoc2021. Solutions to Advent of Code 2021
1dd. Simple delta debugger
1sandbox. Python
1