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-tmux

A library to manage tmux sessions/windows/panes.

go-taskwarrior

Golang library to interact with taskwarrior database

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.

folderol

A toy theorem prover

dd

Simple delta debugger

scilla.nvim

A neovim plugin for Scilla.

awesome-ton-security

A curated list of awesome ton security resources

jubnzv.github.io

smol

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

tact

Tact compiler main repository

aoc2022

awesome-tact

List of valuable resources and projects

blueprint

TON development for professionals - all-in-one tool for writing, testing and deploying smart contracts

cargo-contract

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

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

tact-docs

Tact main documentation