TLC is an explicit state model checker for specifications in TLA+
Plotly Graphing Library for MATLAB
A Claude Skill to give your agent the ability to use a web browser
HTMLPurifier for Laravel 5/6/7/8/9/10/11
My personal Claude Code and OpenAI Codex setup
Communicate with an LLM provider using a single interface
A TypeScript-like language for WebAssembly
The PHP Agentic Framework to build production-ready AI driven apps
Offline inference engine for art, real-time voice conversations
The simplest and fastest way to bundle your TypeScript libraries
A cross-platform declarative UI framework, inspired by SwiftUI
A benchmarking framework for the Julia language
Lexbor is development of an open source HTML Renderer library
Prevent PyTorch's `CUDA error: out of memory` in just 1 line of code
Example PAM module demonstrating two-factor authentication
Collection of common code shared among different research projects
A library for creating reactive web apps in Rust and WebAssembly
No-code in the front, Python in the back. An open-source framework
An Open Source text-to-speech system built by inverting Whisper
Learn how to design large-scale systems
A user-space file system for interacting with Google Cloud Storage
Rapidly configure content workspaces powered by structured content
Application implementation with business use cases
A web-based tool to view, edit, format, and validate JSON
Node.js samples for Google Cloud Platform products