Fix .app programs installed by Nix on Mac

General purpose Nix configuration for macOS / NixOS (with starter templates!)

A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

An automatic Chicago95 script for Xubuntu

Course Site for Foundations of Blockchains (Columbia University, Fall 2021 semester)

Eth2.0 spec in Dafny

Bamboo see https://github.com/cornellblockchain/bamboo

A Lem formalization of EVM and some Isabelle/HOL proofs

The start page about my efforts around smart contract verification

Language Design Community for the EVM: Intro and Resources

K framework proof explorer & smart contract specification format

An RSS/Atom feed reader for text terminals

♊ higher-order, no-boilerplate monads

A debugger for Clojure

A wiki for collaborative work on totally legitimate "category theory"

Immutable, scalable, and easy to use ledger service.

Web Extension: Easily find Hacker News discussions about the page you're currently browsing.

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

A portable programming language with a compact intermediate representation

Metamath Zero specification language

Rudimentary Roam replica with Org-mode

A simple Pomodoro timer written in bash.

Pomodoro CLI

Companion files for Logical Verification 2020–2021 at VU Amsterdam

An imperative language for quantitative information flow.

A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll M…

mal - Make a Lisp

seL4 specification and proofs

Course materials for Modern Binary Exploitation by RPISEC

Firefox addon that turns every page colors into "light text on dark background"