Lists (2)
Stars
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files
An extension to MCP (Model-Context-Protocol) that enables two-way asynchronous communication between LLMs and tools through the already existing MCP transport - no additional transport layer needed.
Formalization of the Millennium Problems in Lean 4
NeurIPS 2025: Improving Monte Carlo Tree Search for Symbolic Regression
A Python CLI tool that converts Claude Code transcript JSONL files into readable HTML / Markdown format.
Creepy device and browser fingerprinting
Open source collection of copy/paste components built with Polaris, Shopify's design system
[IEEE ToG] MiniZero: An AlphaZero and MuZero Training Framework
[NeurIPS 2023 Spotlight] LightZero: A Unified Benchmark for Monte Carlo Tree Search in General Sequential Decision Scenarios (awesome MCTS)
jj5 / LTSpice_on_Linux_Debian__How_to_install_and_use
Forked from joaocarvalhoopen/LTSpice_on_Linux_Ubuntu__How_to_install_and_useMake great analog designs
This is the UPX compressed wader/static-ffmpeg (Dockerfile, CI image build)
Multi-arch docker image with ffmpeg/ffprobe binaries built as hardened static PIE binaries with no external dependencies
Dockerfile for WhisperX: Automatic Speech Recognition with Word-Level Timestamps and Speaker Diarization (Dockerfile, CI image build and test)
plasTeX plugin to build formalization blueprints.
caviri / BetterWhisperX
Forked from m-bain/whisperXBetter WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)
Open Source, Language Agnostic Mutation Testing
JTokkit is a Java tokenizer library designed for use with OpenAI models.
Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.
Video+code lecture on building nanoGPT from scratch
This repository explains and provides examples for "concept anchoring" in GPT4.
Evaluator for the A::B Prompting Challenge