Pinned Repositories
go-taskwarrior
Golang library to interact with taskwarrior database
go-tmux
A library to manage tmux sessions/windows/panes.
iec-checker
Static analysis of IEC 61131-3 programs
mdeval.nvim
Neovim plugin that evaluates code blocks inside documents
virtual-types.nvim
Neovim plugin that shows type annotations as virtual text
wasm-wxwidgets-demo
POC: Render the same OpenGL scene using wxWidgets and WebAssembly.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
misti
TON Static Analyzer
ink
Polkadot's ink! to write smart contracts.
scilla
Scilla - A Smart Contract Intermediate Level Language
jubnzv's Repositories
jubnzv/virtual-types.nvim
Neovim plugin that shows type annotations as virtual text
jubnzv/mdeval.nvim
Neovim plugin that evaluates code blocks inside documents
jubnzv/iec-checker
Static analysis of IEC 61131-3 programs
jubnzv/go-tmux
A library to manage tmux sessions/windows/panes.
jubnzv/go-taskwarrior
Golang library to interact with taskwarrior database
jubnzv/IEC.vim
Vim mode for editing IEC 61131-3 programs.
jubnzv/dotfiles
Personal configuration files, scripts, etc.
jubnzv/anki-tray
Anki add-on: system tray minimization; with i3wm support.
jubnzv/folderol
A toy theorem prover
jubnzv/dd
Simple delta debugger
jubnzv/scilla.nvim
A neovim plugin for Scilla.
jubnzv/awesome-ton-security
A curated list of awesome ton security resources
jubnzv/jubnzv.github.io
jubnzv/tact
Tact compiler main repository
jubnzv/aoc2022
jubnzv/awesome-tact
List of valuable resources and projects
jubnzv/blueprint
TON development for professionals - all-in-one tool for writing, testing and deploying smart contracts
jubnzv/cargo-contract
Setup and deployment tool for developing Wasm based smart contracts via ink!
jubnzv/ink
Parity's ink! to write smart contracts.
jubnzv/ink-docs
Documentation portal for the ink! smart contract language.
jubnzv/ocaml-plugins-demo
A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.
jubnzv/ocamlgraph
OCaml graph library
jubnzv/rust
Empowering everyone to build reliable and efficient software.
jubnzv/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
jubnzv/scilla
Scilla - A Smart Contract Intermediate Level Language
jubnzv/scilla-compiler
Compile Scilla to LLVM-IR
jubnzv/scilla-docs
Documentation for Scilla
jubnzv/tact-docs
Tact main documentation
jubnzv/tact-template
Tact project template
jubnzv/tact-template-ci-test