jubnzv/folderol

Stars
4
Rank 3,212,055 (Top 65 %)
Language
OCaml
Created about 1 year ago
Updated about 1 year ago

jubnzv/folderol

jubnzv

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A toy theorem prover

virtual-types.nvim

Neovim plugin that shows type annotations as virtual text

mdeval.nvim

Neovim plugin that evaluates code blocks inside documents

iec-checker

Static analysis of IEC 61131-3 programs

go-taskwarrior

Golang library to interact with taskwarrior database

wasm-wxwidgets-demo

POC: Render the same OpenGL scene using wxWidgets and WebAssembly.

go-tmux

A library to manage tmux sessions/windows/panes.

MISRA-Example-Suite

@ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite

qtask

GUI organizer based on Taskwarrior

moonsmith

A random generator of Lua programs

IEC.vim

Vim mode for editing IEC 61131-3 programs.

dotfiles

Personal configuration files, scripts, etc.

anki-tray

Anki add-on: system tray minimization; with i3wm support.

modbus-restapi

Expose Modbus TCP devices via REST API.

evm-decompiler

EVM bytecode decompiler

gol-solver

A solver for John Conway's "Game of Life" based on z3.

cppcheck-nvd-checker

Helper scripts to verify Cppcheck bug-hunting mode on NVD CVE datasets

pocketbook-sync

CLI utility for syncing book positions between PocketBook E-reader and Zathura.

scilla.nvim

A neovim plugin for Scilla.

dd

Simple delta debugger

jubnzv.github.io

sandbox

aoc2021

Solutions to Advent of Code 2021