vapniks

claw-code. An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

SkillRecorder. JavaScript

ATLAS. Adaptive Test-time Learning and Autonomous Specialization

loop. Dead-simple Bun CLI that runs Codex and Claude Code in a loop.

gastown. Gas Town - multi-agent workspace manager

nanochat. The best ChatGPT that $100 can buy.

whisper.cpp. Port of OpenAI's Whisper model in C/C++

muscle-mem. A cache for AI agents to learn and replay complex behaviors.

dyneusr. Dynamical Neuroimaging Spatiotemporal Representations (DyNeuSR)

kalmangrad. Automated, smooth, N'th order derivatives of non-uniformly sampled time series data

cloudflare-noip. free alternative to paid dynamic DNS services like NoIP.com

organice. An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

elisp-maintainers. Elisp maintainers and how to support them

ntp. End-to-End Differentiable Proving

regex-benchmark. It's just a simple regex benchmark of different programming languages.

algebraic-nnhw. Algebraic enhancements for GEMM & AI accelerators

LaVague. Large Action Model framework to develop AI Web Agents

bocoel. Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few lines of modular code.

ksimple. k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

emacs-copilot. Large language model code completion for Emacs

linux-network-performance-parameters. Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

PdfGptIndexer. RAG based tool for indexing and searching PDF text data using OpenAI API and FAISS (Facebook AI Similarity Search) index, designed for rapid information retrieval and superior search accuracy.

Oxen. Lightning fast data version control system for large repositories of data. Feels like git, pushes and pulls like oxen.

TabFS. 🗄 Mount your browser tabs as a filesystem.

staticrypt. Password protect a static HTML page, decrypted in-browser in JS with no dependency. No server logic needed.

tuning_playbook. A playbook for systematically maximizing the performance of deep learning models.

petals. 🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading

tutte_bhkk. Computes the Tutte polynomial of a given graph

Algorithmic-Pseudocode. This repository contains the pseudocode(pdf) of various algorithms and data structures necessary for Interview Preparation and Competitive Coding

paip-lisp. Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

pytudes. Python programs, usually short, of considerable difficulty, to perfect particular skills.

aima-pseudocode. Pseudocode descriptions of the algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

get-started-with-JAX. The purpose of this repo is to make it easy to get started with JAX, Flax, and Haiku. It contains my "Machine Learning with JAX" series of tutorials (YouTube videos and Jupyter Notebooks) as well as the content I found useful while learning about the JAX ecosystem.

magicl. Matrix Algebra proGrams In Common Lisp.

frouros. Frouros: an open-source Python library for drift detection in machine learning systems.

textual. The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

sqlite-lines. A SQLite extension for reading large files line-by-line (NDJSON, logs, txt, etc.)

trading-core. Backend core needed for automated trading

bolt. 10x faster matrix and vector operations

shapash. 🔅 Shapash: User-friendly Explainability and Interpretability to Develop Reliable and Transparent Machine Learning Models

Valetudo. Cloud replacement for vacuum robots enabling local-only operation

guix-quantile. Guix channel for any packages which haven't yet been uploaded to guix proper, or guix-science, etc.

silero-vad. Silero VAD: pre-trained enterprise-grade Voice Activity Detector

parinfer-rust-mode. Simplifying how you write Lisp

vectorscan. A portable fork of the high-performance regular expression matching library

penrose. Create beautiful diagrams just by typing notation in plain text.

llr. Lisp-like-R: A clojure inspired lisp that compiles to R in R

clerk. ⚡️ Moldable Live Programming for Clojure

simdjson. Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

command-interpreter. Add a command interpreter (eg., REPL) to any C++ program

postgresql-prolog. A Prolog library to connect to PostgreSQL databases

lean-liquid. 💧 Liquid Tensor Experiment

nn-qft. Code used for experiments in https://arxiv.org/abs/2008.08601

CompCert. The CompCert formally-verified C compiler

geocode-sqlite. Geocode rows in a SQLite database table

lfe. Lisp Flavoured Erlang (LFE)

arc. Arc is an opinionated framework for defining data pipelines which are predictable, repeatable and manageable.

Freewire. An experiment with "freely" wired neural networks (no layers)

Gradient-Free-Optimizers. Lightweight optimization with local, global, population-based and sequential techniques across mixed search spaces

graphtage. A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

grammars-v4. Grammars written for ANTLR v4; expectation that the grammars are free of actions.

mypy. Optional static typing for Python

flyspeck. The formal proof of the Kepler conjecture

hol-light. The HOL Light theorem prover

sqlite-utils. Python CLI utility and library for manipulating SQLite databases

math-comp-corpus. Corpus of Coq code related to MathComp including several machine-readable representations

mindshub. Make AI do actual work. Swap the model anytime — keep everything you've built.

modernish. Modernish is a library for writing robust, portable, readable, and powerful programs for POSIX-based shells and utilities.

rmi. A learned index structure

fhe-toolkit-linux. IBM Fully Homomorphic Encryption Toolkit For Linux. This toolkit is a Linux based Docker container that demonstrates computing on encrypted data without decrypting it! The toolkit ships with two demos including a fully encrypted Machine Learning inference with a Neural Network and a Privacy-Preserving key-value search.

LispSyntax.jl. lisp-like syntax in julia

pxi. 🧚 pxi (pixie) is a small, fast, and magical command-line data processor similar to jq, mlr, and awk.

AfricaCountryBins. Create bined heatmaps of the countries in Africa

graudit. grep rough audit - source code auditing tool

stderred. stderr in red

stplanr. Sustainable transport planning with R

pplbench. Evaluation Framework for Probabilistic Programming Languages

eiten. Statistical and Algorithmic Investing Strategies for Everyone

SHEEP. SHEEP is a Homomorphic Encryption Evaluation Platform

rclone. "rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

aitextgen. A robust Python tool for text-based AI training and generation using GPT-2.

coq-to-lisp. Coq to Emacs Lisp / Common Lisp Extraction

fd. A simple, fast and user-friendly alternative to 'find'

hyperfine. A command-line benchmarking tool

NN-Topology-Post. A blog post exploring a connection between neural networks and topology

ConfidenceIntervalsFallacy. The Fallacy of Placing Confidence in Confidence Intervals

jql. Easy JSON Query Processor with a Lispy syntax in Go

CompaniesHouse. This package allows to extract data from the Companies House API and create interlocking directorates networks

giotto-tda. A high-performance topological machine learning toolbox in Python

jscl. A Lisp-to-JavaScript compiler bootstrapped from Common Lisp

capsicum-linux. Linux kernel with Capsicum support

hypothesis. The property-based testing library for Python

cl-ana. Free (GPL) Common Lisp data analysis library with emphasis on modularity and conceptual clarity.

mediKanren. Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

awesome-scala. A curated list of awesome Scala frameworks, libraries and software.

scalaz. Principled Functional Programming in Scala

deprecated-coalton-prototype. Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

programmable-reinforcement-learning. Reinforcement learning algorithms constrained by a partial program

gym. A toolkit for developing and comparing reinforcement learning algorithms.

emacs-buttercup. Behavior-Driven Emacs Lisp Testing

Elsa. Emacs Lisp Static Analyzer and gradual type system.

gnes. GNES is Generic Neural Elastic Search, a cloud-native semantic search system based on deep neural network.

blogger-cli. A cli tool to convert and manage jupyter notebook blogs. Proudly host your notebooks even as a static site.

excelR. An Interface to 'jExcel.js' Library

transformers. 🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

quine-relay. An uroboros program with 100+ programming languages

pinboard.el. A pinboard.in client for Emacs.

git-crypt. Transparent file encryption in git

S3M. A software package for statistically significant shapelet mining

scar. Deploy static websites in seconds - with HTTPS, a global CDN, and custom domains.

canvas-sketch. [beta] A framework for making generative artwork in JavaScript and the browser.

face_recognition. The world's simplest facial recognition api for Python and the command line

gpt-2. Code for the paper "Language Models are Unsupervised Multitask Learners"

knowledge-repo. A next-generation curated knowledge sharing platform for data scientists and other technical professions.

pytext. A natural language modeling framework based on PyTorch

catdb. Category theory in Coq, by Jason Gross

graphit. GraphIt - A High-Performance Domain Specific Language for Graph Analytics

notebooks. All of our computational notebooks

big-list-of-naughty-strings. The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

causality. Tools for causal analysis

porcupine. On-device wake word detection powered by deep learning

Deep-Learning-Roadmap. :satellite: Organized Resources for Deep Learning Researchers and Developers

sparser. Sparser: Raw Filtering for Faster Analytics over Raw Data

lsp-ui. UI integrations for lsp-mode

pdf-scraper. R Shiny application to scrape payments to governments reports data from PDF files

terratest. Terratest is a Go library that makes it easier to write automated tests for your infrastructure code.

hs-to-coq. Convert Haskell source code to Coq source code

rabit. Reliable Allreduce and Broadcast Interface for distributed machine learning

Coq-HoTT. A Coq library for Homotopy Type Theory

emacs-modules. Dynamic modules for emacs

probKanren. Probabilistic miniKanren

mwt-ds. Umbrella repository for projects related to the MWT Decision Service

el-compilador. An SSA-based compiler for Emacs Lisp

shx-for-emacs. An Emacs shell-mode (and comint-mode) extension that enables displaying small plots and graphics and lets users write shell commands in Emacs Lisp.

grenade. Deep Learning in Haskell

wiwinwlh. What I Wish I Knew When Learning Haskell

dockerize. Utility to simplify running applications in docker containers

pdftabextract. A set of tools for extracting tables from PDF files helping to do data mining on (OCR-processed) scanned documents.

xgboost.hs. A Haskell wrapper for xgboost

awesome-R. A curated list of awesome R frameworks, packages and software.

microkanrens. Implementations of µKanren in assorted languages

lectures. Oxford Deep NLP 2017 course

beringei. Beringei is a high performance, in-memory storage engine for time series data.

XNOR-Net. ImageNet classification using binary Convolutional Neural Networks

fastText. Library for fast text representation and classification.

sxc. sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp

codehash.db. A public database for software and firmware hashes

deep-learning-papers. Papers about deep learning ordered by task, date. Current state-of-the-art papers are labelled.

deepmath. Experiments towards neural network theorem proving

xcscope.el. cscope interface for (X)Emacs

data-tools. File format conversion tools

data-science-at-the-command-line. Data Science at the Command Line

spaCy. 💫 Industrial-strength Natural Language Processing (NLP) in Python

models. Models and examples built with TensorFlow

bedquilt-core. A JSON document store on PostgreSQL

Categories. A formalization of category theory in the Coq proof assistant.

tflearn. Deep learning library featuring a higher-level API for TensorFlow.

parsing-prickly-pdfs. NICAR 2016 talk about PDFs!

ntm-lasagne. Neural Turing Machines library in Theano with Lasagne

Frames. Data frames for tabular data.

awesome-public-datasets. A topic-centric list of HQ open datasets.

HPOlib. HPOlib is a hyperparameter optimization library. It provides a common interface to three state of the art hyperparameter optimization packages: SMAC, spearmint and hyperopt. This package is discontinued, please read the longer note in the info box below.

CNTK. Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit

libskylark. Sketching-based Distributed Matrix Computations for Machine Learning

infi.docopt_completion. Python

dumb-init. A minimal init system for Linux containers

TFOCS. A MATLAB toolbox for building first-order solvers for convex models.

docker-alpine. Alpine Linux Docker image. Win at minimalism!

DeepLearnToolbox. Matlab/Octave toolbox for deep learning. Includes Deep Belief Nets, Stacked Autoencoders, Convolutional Neural Nets, Convolutional Autoencoders and vanilla Neural Nets. Each method has examples to get you started.

tdb. Interactive, node-by-node debugging and visualization for TensorFlow

deepframeworks. Evaluation of Deep Learning Frameworks

zsh-pg. A ZSH plugin with utility functions to work with PostgreSQL.

DeepNeuralClassifier. Deep neural network using rectified linear units to classify hand written symbols from the MNIST dataset.

DSGE.jl. Solve and estimate Dynamic Stochastic General Equilibrium models (including the New York Fed DSGE)

type-systems. Implementations of various type systems in OCaml.

FunctionalPlus. Functional Programming Library for C++. Write concise and readable C++ code.

hlint-refactor-mode. Emacs bindings for hlint's --refactor option

yoke. Postgres high-availability cluster with auto-failover and automated cluster recovery.

etl-language-comparison. Count the number of times certain words were said in a particular neighborhood. Performed as a basic MapReduce job against 25M tweets. Implemented with different programming languages as a educational exercise.

esup. ESUP - Emacs Start Up Profiler

liquid-types.el. Emacs tooling for liquidHaskell

emacs-utils. Some of my emacs-utilities

recur. Self-tail recursion optimization in emacs.

parenlab. Matlab with s-expressions.

elisp-bug-hunter. Hunt down errors in elisp files.

invoice-boilerplate. Simple automated LaTeX invoicing system

bpftools. BPF Tools - packet analyst toolkit

ligra. Ligra: A Lightweight Graph Processing Framework for Shared Memory

whatsappcli. Control your server from Whatsapp

gephi. Gephi - The Open Graph Viz Platform

keywordfinder. Automatic keyword extraction - no alchemy required!

initchart. Visual and interactive profiling of Emacs init process

receipt-parser-legacy. A supermarket receipt parser written in Python using tesseract OCR

keera-hails. Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications

speech-language-processing. A curated list of speech and natural language processing resources

HomeMirror. Android application powering the mirror in my house

HaskellR. The full power of R in Haskell.

hs-word2vec. A port of Google's word2vec to Haskell

itpol. Useful IT policies

Ghost.py. Webkit based scriptable web browser for python.