jubnzv

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

go-tmux

A library to manage tmux sessions/windows/panes.

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.

evm-decompiler

EVM bytecode decompiler

folderol

A toy theorem prover

dd

Simple delta debugger

scilla.nvim

A neovim plugin for Scilla.

cppcheck

static analysis of C/C++ code

jubnzv.github.io

smol

A minimal, monospaced blogging theme for Hugo that respects your privacy and is easy on your bandwidth.

aoc2022

cargo-contract

Setup and deployment tool for developing Wasm based smart contracts via ink!

gno

Gno language

go-ethereum

Official Go implementation of the Ethereum protocol

ink

Parity's ink! to write smart contracts.

ink-docs

Documentation portal for the ink! smart contract language.

ocaml-plugins-demo

A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.

ocamlgraph

OCaml graph library

opam-repository

Main public package repository for opam, the source package manager of OCaml.

rust

Empowering everyone to build reliable and efficient software.

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

scilla

Scilla - A Smart Contract Intermediate Level Language

scilla-compiler

Compile Scilla to LLVM-IR

scilla-docs

Documentation for Scilla

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.