RKlompUU

FPSheet

FPSheet: A Spreadsheet program with Haskell as the scripting language

SCRIPTAnalyser

Symbolic verification of Bitcoin's output scripts

nix-recipes

SCRIPTWriter

Bitcoin script parsing - extended with custom syntax

fhe-regex

A regex engine for encrypted content (resulting in an encrypted answer)

BlockchainSim

in preliminary research phase

chalk

Vim color schemes

climate-charts

FPSpreadsheet

University Utrecht - Experimentation Project

HPetriNets

iTerm2-Color-Schemes

Over 200 terminal color schemes/themes for iTerm/iTerm2 (with ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remina, Termite, XFCE, Tilda, FreeBSD VT, and Terminator)

kanvas-concordia

que-pasa

A Tezos Smart Contract Indexer

repo-cmd

Small unified framework for git-ignored scripting

rust-pg_bigdecimal

A Rust native datatype for Postgres' Numeric type, to be used with Rust's "Postgres" library.

SCRIPT-execution

SCRIPT execution

spline

Spline interpolation

tfhe-rs

TFHE-rs: Pure Rust implementation of the TFHE scheme for boolean and integers FHE arithmetics.

TPT-2014

Theory of Programming and Types, academic year 2014-2015

vim-cursorword

Underlines the word under the cursor