sskeirik

dotfiles

My dotfiles --- I keep them them in $XDG_CONFIG_HOME and install with /meta/install/link

flygrep.vim

Asynchronously fly grep in vim

ibos-case-study

A Maude specification of IBOS as well as associated proofs.

Adv360-Pro-ZMK

Personal keyboard macro definition

archiso-headless-toolkit

Scripts to build and install Arch ISOs to fresh VMs on headless machines.

ceta

Ceta: A Library for Equational Tree Automata (mirror)

clarity-trait-experiments

A few experiments to demonstrate how Clarity traits work.

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

example-repo

An example repo

ibos-spec

IBOS specification for Maude

java-rl-tutorial

Tutorial for the Maude JavaRL tool

k-debugger-experiment

Displaying styles of debugger development in K

k-experiments

A few K experiments.

maude-foform

An implementation of a first-order formula datatype in Maude. The current version of FULL-MAUDE used is for Maude 2.7.1 but older versions of Maude should work (they might give warnings, however). To use the code as a library (or just play around in the REPL), run "load test-foform.maude" in your Maude interpreter.

maude-meta-app

Framework for writing applications at the Maude META-LEVEL

maude.vim

Syntax file for the Maude language

MFE

Maude Formal Environment

mfe-ceta

A copy of the Maude Formal Environment with a Maude binary with hooks

neovim

Vim-fork focused on extensibility and usability

parser-playground

Playing around with parsing

ROSRV

rust

rv-monitor

RV-Monitor core system code

smaug

Collection of my maude code

sskeirik.github.io

Personal website repo

tezos-utils

Tezos utilities for CLI workflows

toolchain

A portable, modern musl-based toolchain for old Linux distros --- courtesy of @richfelker/musl-cross-make

webmarkdown

A simple template for building websites with Pandoc and Markdown