Boris Cherny @bcherny ↗

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.

A large collection of system log datasets for AI-driven log analytics [ISSRE'23]

MCP server SDK/example implemented entirely in bash — build a Model Context Protocol server with no runtime dependency beyond a POSIX shell.

This repo is a mirror of the contents of base-action in https://github.com/anthropics/claude-code-action.

MCP server for interacting with the iOS simulator

A typeface for creating sparklines in text without code.

Model Context Protocol Servers

A simple HTTP proxy that records and playbacks requests

The official TypeScript SDK for Model Context Protocol servers and clients

Summarize and query from a lot of heterogeneous documents. Any LLM provider, any filetype, advanced RAG, advanced summaries, scriptable, etc

🎨 A curated list of delightful VSCode utilities to build awesome VSCode extensions and resources.

Stacked Pull Requests on GitHub

Open-source web crawler and scraper for LLMs and AI agents: any website into clean, LLM-ready Markdown. Run it yourself, or use Crawl4AI Cloud with one key.

Vectra is a local vector database for Node.js with features similar to pinecone but built using local files.

aider is AI pair programming in your terminal

Playing Sudoku in TypeScript while the type checker highlights mistakes.

YC (S26) | Open Computer History | Continuously record your company computer work, map your workflows, help you find work worth automating, and power your agents' context

Data on the share of ESM vs CJS on the public npm registry

Open source real-time translation app for Android that runs locally

[CVPR 2024] Official implementation for "SVGDreamer: Text Guided SVG Generation with Diffusion Model" https://arxiv.org/abs/2312.16476

Turn any PDF or image document into structured data for your AI. A powerful, lightweight OCR toolkit that bridges the gap between images/PDFs and LLMs. Supports 100+ languages.

Open-source Perplexity app.

:zap: A Fast, Extensible Progress Bar for Python and CLI

Build system, successor to Buck

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

Paisa – Personal Finance Manager. https://paisa.fyi demo: https://demo.paisa.fyi

Seek v2, built with React Native for Android and iOS

A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Ping, but with a graph

perfect programming language

an ambient intelligence library

A dystopia simulator powered by ChatGPT

Extrapolating knowledge graphs from unstructured text using GPT-3 🕵️‍♂️

Handwriting Synthesis with RNNs ✏️

TopFormer: Token Pyramid Transformer for Mobile Semantic Segmentation, CVPR2022

λprompt - A functional programming interface for building AI systems

Robust Speech Recognition via Large-Scale Weak Supervision

A scalable, distributed, collaborative, document-graph database, for the realtime web

a structural diff that understands syntax 🟥🟩

Realtime infrastructure for multiplayer apps and agents

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

God's actual programming language.

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

🧩 The Browser Extension Framework

Probabilistic language based on pattern matching and constraint propagation, 153 examples

A terminal based Pokemon like game

Typescript SDK for interacting with Notifi APIs

Fully automated homelab from empty disk to running services with a single command.

Access files on the decentralized, unblockable torrent swarm and visit links using Handshake domains. Decentralized internet is here.

This project will compile verilog (a hardware description language) into factorio blueprints.

Dolt – Git for Data

A small extensible programming language designed for concise expression with little code.

A programming language designed for typescript type generation

curl for GraphQL with autocomplete, subscriptions and GraphiQL. Also a dead-simple universal javascript GraphQL client.

Pretrained models for TensorFlow.js

Agora Server implementation for the Agora (flancia.org/go/agora).

A possible implementation of the Agora (flancia.org/agora).

A friendly programming language from the future

NAT Slipstreaming allows an attacker to remotely access any TCP/UDP services bound to a victim machine, bypassing the victim’s NAT/firewall, just by anyone on the victim's network visiting a website

A SQL database implemented purely in TypeScript type annotations.

A tool to help migrate JavaScript code quickly and conveniently to TypeScript

Deep neural network to extract intelligent information from invoice documents.

Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.

A declarative, efficient, and flexible JavaScript library for building user interfaces.

Shared data types for building collaborative software

Realtime database backend based on Operational Transformation (OT)

Collaborative editing in any app

A functional programming language with static memory management

The original source code of Microsoft GW-BASIC from 1983

This unofficial extension integrates Draw.io (also known as diagrams.net) into VS Code.

📈 A small, fast chart for time series, lines, areas, ohlc & bars

An analysis tool for Python that blurs the line between testing and type systems.

Parser for JavaScript, in Haskell

A web dev server that lets you import anything*

👾~ music, eternal ~ 👾

A language and an embedded JIT compiler

📐Let there be algebraic effects in JS

A Fully Homomorphic Encryption Brainfuck virtual machine

💬 The most complete chat UI for React Native

Create a V8 heap snapshot right before an "Out of Memory" error occurs, or create a heap snapshot or CPU profile on request.

Deezer source separation library including pretrained models.

Research language for array processing in the Haskell/ML family

Dependently-typed language with Iverson-style implicit lifting

A history of edits to the US Constitution as it has been amended. Written in markdown to match original formatting.

Course materials for Stanford's CS43: Functional Programming Paradigms

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Experiments implementing some advanced type features from TypeScript.

Static code analyzer for TypeScript

Enforce best practices for JavaScript promises

High-performance regular expression matching library

An implementation of ECMA-262 in JavaScript

Over TypeScript tool to use custom transformers in the tsconfig.json

Interactive CTF Exploration Tool

Flea market for million dollar ideas

kaldi-asr/kaldi is the official location of the Kaldi project.

A Rust implementation of the Message Layer Security group messaging protocol

Turn a MacBook into a Touchscreen with $1 of Hardware

Research on integrating datalog & lambda calculus via monotonicity types

Functional programming inspired by ML for the Erlang VM

Compiler for the Mirth programming language.

SVG icon animation tool for Android, iOS, and the web

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Experimental rewrite of the React DevTools extension

Fax Javascript Ui Framework

Conjure: The Automated Constraint Modelling Tool

Release with confidence, state-of-the-art property testing for Haskell.

Use jsx-like syntax in Reflex

React bindings for Haskell

A collection of browser-based side channel attack vectors.

The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

A web tool to explore the ASTs generated by various parsers.

Web framework in Bash

Algebraic structures for untyped Racket

80x23 terminal tetris!

Static Type Checker for Python

Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.

ESM-powered frontend build tool. Instant, lightweight, unbundled development. ✌️

Babel plugin enables HMR for functional components in React Native.

A real browser preview inside your editor that you can debug.

A toolkit for data mapping and language integrated query.

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

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

a dependency unwinder for javascript

Create the next immutable state by mutating the current one

🎣 Allows you to build simple compile-time libraries

✨ A collection of awesome companies offering free/discounted plans for eligible startups

Tracking ECMAScript Proposals

Make your site’s pages instant in 1 minute and improve your conversion rate by 1%

TyX Core Framework

This project aims to be the Scala Incubator project for Automatic-Resource-Management in the scala library

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

A library of Fulcro utilities and features that are experimental/maturing.

caching in redux made simple

A brief computer graphics / rendering course

Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but for WebSockets.

:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.

MOVED to https://github.com/bazelbuild/rules_nodejs/tree/3.x/third_party/github.com/bazelbuild/rules_typescript

Build your own personal finance analytics using Plaid, Google Sheets and CircleCI.

Build powerful pipelines in any programming language.

🏎 A set of primitives to build simple, flexible, WAI-ARIA compliant React autocomplete, combobox or select dropdown components.

Create Fermi Estimates and Perform Monte Carlo Estimates

Cute SVG React Components

Lenia - Mathematical Life Forms

General-purpose abstractions for incremental computing, in Rust

Fungi: Typed incremental computation with names

Rust-based platform for the Web

ndb is an improved debugging experience for Node.js, enabled by Chrome DevTools

seeded random number generator for Javascript

Fast, indexed regexp search over large file trees

ECMAScript verification with SMT solvers

Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.

A simple expressions language with polymorphic extensible row types.

swagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition.

Moved to https://github.com/facebookincubator/redux-react-hook

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

The SWI-Prolog SGML/XML/HTML parser

SWI-Prolog Main development repository

Loader Standard

📝 Online editor providing collaborative editing in really real-time using CRDTs and IPFS.

OCaml with typed algebraic effects

Exploring Elm on the Erlang VM

Miscellaneous articles. The readme is the table of contents.

A simple encoding of higher-kinded types in TypeScript

(under new management!) ⛸️Solve the Double Declaration problem with inline GraphQL. Babel plugin/macro that works with any GraphQL client!

An Implementation of Observables for Javascript

Minimalist TypeScript package initializer - like `npm init`, but for TS.

Pluggable TypeScript and JavaScript linter

Simple immutable state for React using Immer

The complete load testing platform. Everything you need for production-grade load tests. Serverless & distributed. Load test with Playwright. Load test HTTP APIs, GraphQL, WebSocket, and more. Use any Node.js module.

Layout algorithms for visualizing directed acyclic graphs

A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.

Modular Lodash builds without the hassle.

Chrome DevTools for rxjs-spy

Rust-like macros in Python by abusing type annotations

Support for opaque and nominal types in typescript via a transformation.

🌶 350b / 650b state container with component actions for Preact & React

⛔️ Obsolete - A language plugin for Relay that adds TypeScript support, including emitting type definitions.

A library for visualization and creative-coding

package.json workflow for native development with Reason/OCaml

simple terminal UI for git commands

Marble diagram DSL based test suite for RxJS

Deprecated, please use the TypeScript-Website repo instead

The Data Transfer Project makes it easy for platforms to build interoperable user data portability features. We are establishing a common framework, including data models and protocols, to enable direct transfer of data both into and out of participating online service providers.

Most.js core event stream

Record terminal sessions as SVG animations

a FUSE file system based on Google Drive