jubnzv/iec-checker

Stars
57
Rank 506,867 (Top 11 %)
Language
OCaml
License
GNU Lesser Genera...
Created over 4 years ago
Updated about 1 year ago

jubnzv/iec-checker

jubnzv

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

Static analysis of IEC 61131-3 programs

virtual-types.nvim

Neovim plugin that shows type annotations as virtual text

mdeval.nvim

Neovim plugin that evaluates code blocks inside documents

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

folderol

A toy theorem prover

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