-
Red Sky Forge
- The Netherlands
Stars
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
pofider / node-xml2js
Forked from Leonidas-from-XIV/node-xml2jsXML to JavaScript object converter.
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.