#
Lists (2)
Starred repositories
online video editor built with nextjs, remotion and ffmpeg (web assembly port) for render.
🔥 single-command flamegraph profiling 🔥
TypeScript Compiler API wrapper for static analysis and programmatic code changes.
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
Model Context Protocol (MCP) server for constraint optimization and solving"
A Language Server for Postgres
Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.
A playbook for systematically maximizing the performance of deep learning models.
🤗 Diffusers: State-of-the-art diffusion models for image, video, and audio generation in PyTorch and FLAX.
modern full-featured open source secure mail server for low-maintenance self-hosted email
aider is AI pair programming in your terminal
MirageOS is a library operating system that constructs unikernels
PureScript core tools in Nix
An efficient finite map from (byte)strings to values.
A project to map out the relations between different equational theories of Magmas.
Hosts TSConfigs to extend in a TypeScript app, tuned to a particular runtime environment
Marks side-effects in module initialization that would interfere with tree-shaking
A project to map out the relations between different equational theories of Magmas.
Analyze compressed chess pgn files to determine the rarest move
Functional programming tools for the shell
Haskell library for the Microsoft Language Server Protocol
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver