Resumes generated using the GitHub informations

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

A fully-modern text-based browser, rendering to TTY and browsers

A General Theory of Reactivity

📈 Web tribute to the Tron: Legacy Boardroom Scene

📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

Terminal client for slack

Quick, cool margin notes with jQuery

GPU Powered BLAS for Browsers 💎

Modular blockchain framework. Public domain

Counterexamples in Type Systems

Next-generation web analytics processing with Scala, Spark, and Parquet.

Optimal evaluator of λ-calculus terms.

A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.

A minimal proof language.

Algorithmic Composition Interface

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

A Javascript port of the Versor Geometric Algebra library

Idris for Visual Studio Code

Visually describe Haskell/Purescript/Elm types

A nano "theorem prover".

Serialize virtual-dom patches as a minimal JSON object (UNMAINTAINED)

FunTAL: mixing a functional language with assembly.

Globular

N2O in Haskell

Petrinet.org interactive playground website

Implementation of Quantitative Type Theory (in TypeScript)

tools for the ithkuil language