jubnzv

cargo-contract

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

ink-docs

Documentation portal for the ink! smart contract language.

ink

Parity's ink! to write smart contracts.

go-tmux

A library to manage tmux sessions/windows/panes.

rust

Empowering everyone to build reliable and efficient software.

anki-tray

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

dotfiles

Personal configuration files, scripts, etc.

rust-clippy

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

mdeval.nvim

Neovim plugin that evaluates code blocks inside documents

go-taskwarrior

Golang library to interact with taskwarrior database

folderol

A toy theorem prover

virtual-types.nvim

Neovim plugin that shows type annotations as virtual text

iec-checker

Static analysis of IEC 61131-3 programs

scilla.nvim

A neovim plugin for Scilla.

scilla-docs

Documentation for Scilla

ocaml-plugins-demo

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

aoc2022

dd

Simple delta debugger

scilla

Scilla - A Smart Contract Intermediate Level Language

jubnzv.github.io

IEC.vim

Vim mode for editing IEC 61131-3 programs.

ocamlgraph

OCaml graph library

scilla-compiler

Compile Scilla to LLVM-IR

opam-repository

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

smol

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

tlaplus

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

evm-decompiler

EVM bytecode decompiler

go-ethereum

Official Go implementation of the Ethereum protocol

gno

Gno language

cppcheck

static analysis of C/C++ code