Completely avoid dangling pointers in C.

A modern and intuitive terminal-based text editor

Code from PLDI '23 paper "Architecture-Preserving Provable Repair of Deep Neural Networks."

Memory-Efficient Fixpoint Computation for Abstract Interpretation

A system for programming formally-verified loop transformations.

Distill submission

terminal.js is a dead simple JavaScript library for emulating a shell environment.

An intuitive library to add plotting functionality to scikit-learn objects.

Gaussian Mixture Model Implementation using Eigen Library

The project is superceded by Fengari. See https://fengari.io/

An ECMAscript framework to compile and run Lua code, allowing Lua to run in a browser or in Flash

A Chrome add-on that adds themes to Product Hunt

A library for elastic and elegant functions overloading in JavaScript

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

VanillaJS sortable lists and grids using native HTML5 drag and drop API.

A better way to write JavaScript conditional statements and still have pretty code.

Quill is a modern WYSIWYG editor built for compatibility and extensibility

The hackable text editor

A UI for the Ripple payment network built using web technologies

Lightweight jQuery plugin to create sortable lists and grids using native HTML5 drag and drop API.

A jQuery plugin to inject Etherpad lite pads and read the content from pads