jubnzv/gol-solver

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Python
License
MIT License
Created almost 4 years ago
Updated almost 4 years ago

jubnzv/gol-solver

jubnzv

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

A solver for John Conway's "Game of Life" based on z3.

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

wasm-wxwidgets-demo

POC: Render the same OpenGL scene using wxWidgets and WebAssembly.

MISRA-Example-Suite

@ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite

qtask

GUI organizer based on Taskwarrior

IEC.vim

Vim mode for editing IEC 61131-3 programs.

moonsmith

A random generator of Lua 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

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.

folderol

A toy theorem prover

scilla.nvim

A neovim plugin for Scilla.

dd

Simple delta debugger

jubnzv.github.io

sandbox

aoc2021

Solutions to Advent of Code 2021