Interpretable ML package 🔍 for concise, transparent, and accurate predictive modeling (sklearn-compatible).

The Co-Design of Exascale Storage Architectures (CODES) simulation framework builds upon the ROSS parallel discrete event simulation engine to provide high-performance simulation utilities and mode…

Rensselaer's Optimistic Simulation System

🌠 Dark powered asynchronous completion framework for neovim/Vim8

Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.

Program that simulates a Linux joystick using uinput API

Magda: Minimal Agda mode for Neovim

Persist data between both sides of an anki flashcard.

🖌️ Drawing area widget for Anki to practice Kanji writing

An in-browser Beamer presentation viewer

Python 3 AST unparser with type comments support.

libheif is an HEIF and AVIF file format decoder and encoder.

Stypy Python 2 type checker

How to plot xkcd-style functions with gnuplot!

A neural assembly compiler for pyTorch based on adaptive-neural-compilation

IFSPlot R package

hexo theme, written with swig & scss

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal

Collection of my Userscripts

Persistent GHC-powered background server for FAST haskell development tools

Haskell bindings for TensorFlow

The Open edX LMS & Studio, powering education sites around the world!

Proof-of-concept code for a typical webapp implemented in various Haskell libraries/frameworks

A collection of my userscripts

DUX MEA LUX

🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaSc…