blaxill

typst

A new markup-based typesetting system that is powerful and easy to learn.

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

OSX-KVM

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

tree-sitter

An incremental parsing system for programming tools

koel

🐦 A personal music streaming server that works.

ctf-tools

Some setup scripts for security research tools.

MarkovJunior

Probabilistic language based on pattern matching and constraint propagation, 153 examples

dotfiles

paul's fish, bash, git, etc config files. good stuff.

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

OpenSC

Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend

oak

Meaningful control of data in distributed systems.

BPL

Bayesian Program Learning model for one-shot learning

solo5

A sandboxed execution environment for unikernels

dasp

The fundamentals for Digital Audio Signal Processing. Formerly `sample`.

granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

ec

rackstack

A modular 3d-printable mini rack system.

rusty-blockparser

Bitcoin Blockchain Parser written in Rust language

fpgatools

public domain tools for FPGAs

bsdploy

BSDploy is a tool to provision, configure and maintain FreeBSD jails.

tmuxstart

Create default configurations for your named tmux sessions

nixcrpkgs

Nice nix expressions for cross-compiling.

cornelis

agda-mode for neovim

rust-exp

Software rasterization, N-Body simulation and Game of Life in Rust + Haskell

dotfiles-old

@ ~/

esp-bin2elf

Converts a flash dump from an esp8266 device into an ELF executable file for analysis and reverse engineering.

eris

Serve your /nix/store directory over the internet :sparkles:

z3cat

Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations

dotfiles

My dotfiles for vim, zsh, dwm, tmux and git

sparcl

Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/