Single-file memory layer for AI agents, sub mili-second RAG on Apple Silicon. Metal Optimized On-Device. No Server. No API. One File. Pure Swift

Tracewright a regression test automation agent for Playwright

A hilarious macOS app that plays fart sounds as you open and close your MacBook lid

Install PM2 offline as a service on Windows or Linux. Mostly designed for Windows.

MATLAB programs for solving the power-flow equations using either of methods: Gauss-Seidel (G-S), Newton-Raphson (N-R) & Fast Decoupled Load Flow (FDLF).

PyPSA-Eur: A Sector-Coupled Open Optimisation Model of the European Energy System

Lilo is a super-fast, easy-to-use, configurable GraphQL stitching library

XML to JavaScript object converter.

LexNLP by LexPredict

ACL 2022: BRIO: Bringing Order to Abstractive Summarization

Natural Language Processing notes and implementations.

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Node.js package to mock HTTP APIs for fast and reliable testing

Share a struct backed by the same underlying buffer between C and JavaScript

Play with hackernews' "who is hiring"

A modern runtime for JavaScript and TypeScript.

JSS is an authoring tool for CSS which uses JavaScript as a host language.

The start page about my efforts around smart contract verification

Bamboo see https://github.com/cornellblockchain/bamboo

A program that annotates a vm trace with dataflow information

A Lem formalization of EVM and some Isabelle/HOL proofs

An Analysis Tool for Smart Contracts

Application Layer DoS Testing Framework

Add life cycle methods to stateless functional components, without the class noise

Go program to generate leaflet.js powered browsable maps of a Factorio save file

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

GlueStick is a command line interface for quickly developing universal web applications using React and Redux.

Pattern matching syntax for ECMAScript

The Ballerina Programming Language

Decentralized autonomous organization «The Integral Platform for Climate Initiatives». DApp, smart contracts and blockchain technology-based ledger for carbon units and carbon units’ operations data.