Gabriel Vergnaud

Zettlr. Your One-Stop Publication Workbench

paperasse. 🇫🇷 Skills pour agents IA spécialisés dans la bureaucratie française : Comptable, Notaire, ...

superpowers. An agentic skills framework & software development methodology that works.

markitdown. Python tool for converting files and office documents to Markdown.

pretext. Fast, accurate & comprehensive text measurement & layout

drizzle-orm. ORM

dealve-tui. Delve into game deals from your terminal 👾

just-bash. Bash for Agents

monty. A minimal, secure Python interpreter written in Rust for use by AI

typeslayer. you can't hide from TypeSlayer

mistral-vibe. Minimal CLI coding agent by Mistral

code-mode. 🔌 Plug-and-play library to enable agents to call MCP and UTCP tools via code execution.

isolated-vm. Secure & isolated JS environments for nodejs

client-ts. TS Client library for Mistral AI platform

microsandbox. 🧱 easy, fast and local-first microVM runtime

ghostty. 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

tax-helper. Tool for French & US citizens struggling with filing taxes for income from company equity

docs. Docs is an open-source text editor: web-native, made for real-time collaboration, cleanly structured documents and sub-documents with full ownership of your data. Built to scale with Django and React.

system-prompts-and-models-of-ai-tools. FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI, VSCode Agent, Warp.dev, Windsurf, Xcode, Z.ai Code, Dia & v0. (And other Open Sourced) System Prompts, Internal Tools & AI Models

mono. 99% of Queries in Zero Milliseconds

typescript-go. Staging repo for development of native port of TypeScript

yjs-orderedtree. Provides a class for yjs that lets you use a Y.Map like an ordered tree

skip. Skip is a framework for building reactive services

causal-graph. Simple run-length encoding causal graph library in javascript for operation based CRDTs

y-prosemirror. ProseMirror editor binding for Yjs

envsafe. 🔒 Makes sure you don't accidentally deploy apps with missing or invalid environment variables.

pretty-ts-errors. 🔵 Make TypeScript errors prettier and human-readable in VSCode 🎀

effect. Build production-ready applications in TypeScript

loro-prosemirror. Prosemirror Binding for Loro

reference-crdts. Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.

eg-walker-reference. Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.

tsx. ⚡️ TypeScript Execute | The easiest way to run TypeScript in Node.js

vscode-twoslash-queries. VS Code extension which adds support for twoslash queries into typescript projects

lipgloss. Style definitions for nice terminal layouts 👄

Bend. A massively parallel, high-level programming language

diamond-types. The world's fastest CRDT. WIP.

collabs. Collabs library monorepo

list-positions. Efficient "positions" for lists and text - enabling rich documents and collaboration

typescript-types-only-wasm-runtime. A WebAssembly runtime implemented in TypeScript types

typescript-analyze-trace. A tool for analyzing the output of `tsc --generateTrace`

crdt-benchmarks. A collection of CRDT benchmarks

loro. Make your JSON data collaborative and version-controlled with CRDTs

ts-combinator. TypeScript

gql.tada. 🪄 Magical GraphQL query engine for TypeScript

json-schema-to-ts. Infer TS types from JSON schemas 📝

y-sweet. A realtime CRDT-based document store, backed by S3.

aper. Synchronizable structs for Rust.

ypy. Python bindings to y-crdt

cr-sqlite. Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

hoogle. Haskell API search engine

y-crdt. Rust port of Yjs

cryptpad. Collaborative office suite, end-to-end encrypted and open-source.

y-utility. Utility features for Yjs

awesome-crdt. A collection of awesome CRDT resources

pattycake. Zero-runtime pattern matching

Inquirer.js. A collection of common interactive command line user interfaces.

lunar-lander. A web-based lunar lander game written in plain JavaScript, HTML, and CSS with no dependencies

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

hundred. precomputed virtual dom

proposal-array-grouping. A proposal to make grouping of array items easier

Talk. The material for my talks

rustlings. :crab: Small exercises to get you used to reading and writing Rust code!

hkt-toolbelt. ✨Functional and composable type utilities

arethetypeswrong.github.io. Tool for analyzing TypeScript types of npm packages

see. A neural network in TypeScript's type system. A vision model that recognizes digits. Based on Dr. Chris Eliasmith's research. Implemented purely in type-level TypeScript.

type-level-regexp. 🔤🔍 Type-level RegExp, parse and match string in TypeScript type system.

electric. Electric Clojure: full-stack differential dataflow for UI

arktype. TypeScript's 1:1 validator, optimized from editor to runtime

GLM-130B. GLM-130B: An Open Bilingual Pre-Trained Model (ICLR 2023)

roc. A fast, friendly, functional language.

proposal-iterator-helpers. Methods for working with iterators in ECMAScript

agentic. Your API ⇒ Paid MCP. Instantly.

remeda. A utility library for JavaScript and TypeScript.

mock-match-media. Mock window.matchMedia for Node.JS environments (like tests or NextJS)

rfcs. RFCs for changes to React

proposal-extractors. Extractors for ECMAScript

elm-land. A production-ready framework for building Elm applications.

sits. Script in typescript~

modern-js-cheatsheet. Cheatsheet for the JavaScript knowledge you will frequently encounter in modern projects.

stable-diffusion. A latent text-to-image diffusion model

ts-belt. 🔧 Fast, modern, and practical utility library for FP in TypeScript.

duckdb. DuckDB is an analytical in-process SQL database management system

exa. A modern replacement for ‘ls’.

zoxide. A smarter cd command. Supports all major shells.

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

bun. Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

monaco-react. Monaco Editor for React - use the monaco-editor in any React application without needing to use webpack (or rollup/parcel/etc) configuration files / plugins

use-transition-effect. Run long effects without blocking the main thread

ghc. Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

vite. Next generation frontend tooling. It's fast!

bat. A cat(1) clone with wings.

functional-programming. Introduction to Functional Programming using TypeScript and fp-ts.

boxed. Essential building-blocks for functional & safe TypeScript code

microbundle. 📦 Zero-configuration bundler for tiny modules.

scheduling-apis. APIs for scheduling and controlling prioritized tasks.

flubber. Tools for smoother shape animations.

scheduler-polyfill. A polyfill for self.scheduler

build-plugins. A set of universal bundler plugins to interact with Datadog directly from your builds.

tyrade. A pure functional language for type-level programming in Rust

flix. The Flix Programming Language

pyodide. Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

gc. Branch of the spec repo scoped to discussion of GC integration in WebAssembly

haskell-language-server. Official Haskell IDE support via the language server protocol (LSP)

chicane. A simple and safe router for React and TypeScript.

rouille. Rust programming, in French.

union-types. A Typescript library for creating discriminating union types.

spectacles-ts. Practical Optics • Unfancy monocle-ts

swc. Rust-based platform for the Web

pathfinder. A fast, practical GPU rasterizer for fonts and vector graphics

crdt-example-app. A full implementation of CRDTs using hybrid logical clocks and a demo app that uses it

nushell. A new type of shell

esbuild. An extremely fast bundler for the web

insect. High precision scientific calculator with support for physical units

alien. ALIEN is a CUDA-powered artificial life simulation program.

react-18. Workgroup for React 18 release.

typescript-transformer-handbook. 📘 A comprehensive handbook on how to create transformers for TypeScript with code examples.

parsers. Specify helps you unify your brand identity by collecting, storing and distributing design tokens and assets — automatically.

lens. Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

rescript-lang.org. Official documentation website for the ReScript programming language

stack. The Haskell Tool Stack

uBlock. uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

eff. 🚧 a work in progress effect system for Haskell 🚧

write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

project-based-learning. Curated list of project-based tutorials

pny1-assignment. College assignment writing in which I ramble about type classes and dependent types.

react-responsive. 🔍 <Only /> displays some contents for particular screen sizes

unison. A friendly programming language from the future

haskell-exercises. A little course to learn about some of the more obscure GHC extensions.

react-three-a11y. ♿️ Accessibility tools for React Three Fiber

syntax. ReScript's syntax as a standalone repo.

rescript-vscode. Official VSCode plugin for ReScript

reason-react. Reason bindings for ReactJS

purescript-halogen-realworld. Exemplary real world application built with PureScript + Halogen

24-days-of-purescript-2016. 24 Days of PureScript, 2016

purescript. A strongly-typed language that compiles to JavaScript

ghc-proposals. Proposed compiler and language changes for GHC and GHC/Haskell

awesome-template-literal-types. Curated list of awesome Template Literal Types examples

ts-toolbelt. 👷 TypeScript's largest type utility library

std. Extend JS standard lib with operators focused around iterators to handle objects, arrays, sets, maps, strings, etc.

mobile-first-animation. Gesture-driven animation on the mobile web (React Conf 2019)

react-flip-toolkit. A lightweight magic-move library for configurable layout transitions

haskell-must-watch. Huge list of videos, talks, courses for Haskell programming language.

rescript. ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

ts-sql. A SQL database implemented purely in TypeScript type annotations.

bevy. A refreshingly simple data-driven game engine built in Rust

umbrella. ⛱ Broadly scoped ecosystem & mono-repository of 215 TypeScript projects (and ~185 examples) for general purpose, functional, data driven development

hegel. An advanced static type checker

rxdb. The local-first database that runs on every JS runtime and replicates with your existing backend - no vendor, no lock-in - https://rxdb.info/

in-situ. Download, beautify and print lines from a minified JavaScript source

typanion. Static and runtime type assertion library with no dependencies

semantic. Parsing, analyzing, and comparing source code across many languages

ts-pattern-matching. Pattern matching in TS with Record Patterns, Type Patterns, type inference and more

useEffectReducer. useReducer + useEffect = useEffectReducer

ts-mysql-plugin. A typescript language service plugin that gives superpowers to SQL tagged template literals.

system-design-primer. Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

build-your-own-x. Master programming by recreating your favorite technologies from scratch.

gleam. ⭐️ A friendly language for building type-safe, scalable systems!

Manatea. Predictable micro state manager.

glsl-noise. webgl-noise shaders ported to work with glslify

ecmascript-operator-overloading-proposal. A proposal for operator overloading in ECMAScript

workshop-webgl-glsl. A workshop on WebGL and GLSL

didact. A DIY guide to build your own React

gqless. a GraphQL client without queries

restful-react. A consistent, declarative way of interacting with RESTful backends, featuring code-generation from Swagger and OpenAPI specs 🔥

gsap-tools. A simple tool to debug GSAP animations

wiwinwlh. What I Wish I Knew When Learning Haskell

blog_os. Writing an OS in Rust

up. Deploy infinitely scalable serverless apps, apis, and sites in seconds to AWS.

algorithms. A collection of algorithms and data structures

entropic. 🦝 :package: a package registry for anything, but mostly javascript 🦝 🦝 🦝

rayon. Rayon: A data parallelism library for Rust

DefinitelyTyped. The repository for high quality TypeScript type definitions.

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

react-three-fiber. 🇨🇭 A React renderer for Three.js

zero. Zero is a web server to simplify web development.

react-spring. ✌️ A spring physics based React animation library

nuclear. Streaming music player that finds free music for you

tldr. Collaborative cheatsheets for console commands 📚.

vscode-pull-request-github. GitHub Pull Requests for Visual Studio Code

miso. :ramen: A tasty Haskell web framework

rust. Empowering everyone to build reliable and efficient software.

shadertoy-react. 6kB "Shadertoy" like react component letting you easily render your fragment shaders in your React web projects, without having to worry about implementing the WebGL part.

slides. Presentations

retoggle. 🎨 UI controls as React Hooks to control your component state from outside

fp-ts. Functional programming in TypeScript

awful-ai. 😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness

Vulcan. 🌋 A toolkit to quickly build apps with React, GraphQL & Meteor

ghost-lang. :ghost: A friendly little language for you and me.

react-future. Specs & docs for potential future and experimental React APIs and JavaScript syntax.

use-observable. Allows dereferencing of Observables using React hooks

react-use. React Hooks — 👍

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

shell-functools. Functional programming tools for the shell

lotion. ✨ Smooth, easy blockchain apps ✨

jest. Delightful JavaScript Testing.

three.js. JavaScript 3D Library.

grain. The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

fusion-core. Migrated to https://github.com/fusionjs/fusionjs

peerflix. Streaming torrent client for node.js

guppy. 🐠A friendly application manager and task runner for React.js