Recipe for a Pina Colada marmalade

Collection of information on the trick-avoiding card game 'Hearts'

Clean GPX files and add elevation data from SRTM files

Convert SRTM to JSON files

Simple script to swap surname and given name within GEDCOM files

GEDKeeper - program for work with personal genealogical database

Compile SPUR to WebAssembly using emscripten

SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)

The #SAT solver sharpSAT

Compile microsat to WebAssembly using emscripten

Compile SPASS to WebAssembly using emscripten

My personal configuration files and shell scripts

Alpine Linux based WSL distribution. Supports multi-install. Lightest WSL distribution.

A simple demo on how to package a Node.js application using pkg and Docker

CS264A: Automated Reasoning: Course Project (SAT Solver and Knowledge compiler) SP 2015

Simple CDCL SAT solver

microsat

Style your webpage like Edward Tufte’s handouts.

LaTeX class for producing books and handouts inspired by the works of Edward R. Tufte and 'The New Annotated H.P. Lovecraft' by Leslie Klinger

A webfont of the typeface used in Edward Tufte’s books.

A Tufte-inspired LaTeX class for producing handouts, papers, and books

⚙️ A conflict-driven nogood learning answer set solver

Package your Node.js project into an executable

iOS Swift Playground for WWDC 2017 Scholarship

Compile MiniSat to WebAssembly using emscripten

Share your research online by compiling it to JavaScript!

A minimalistic and high-performance SAT solver

JWM theme inspired by the color scheme of the Braun Regie 308 Control Unit