Run Claude Code on OpenAI models

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 80+ languages.

This is an app for OS X that can (re)sign apps and bundle them into ipa files that are ready to be installed on an iOS device.

JSON data for Chinese Pinyin

General purpose Language Server

A massively parallel, optimal functional runtime in Rust

Fish shell extension for printing execution time for each command.

🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.

Framework and Language for Neurosymbolic Programming.

Implementation of "BitNet: Scaling 1-bit Transformers for Large Language Models" in pytorch

Run Emscripten in the browser

Samples of WebAssembly Text programs

The Linux perf GUI for performance analysis.

QIR compiler tools and optimization passes for targeting QIR to different hardware backends

Scripts to compile and run Standard ML programs defined in .mlb files.

Efficient SAT-based theorem prover for Intuituionistic Propositional Logic

A Learning Environment for Theorem Proving with the Coq proof assistant

An amazing UI for OpenAI's ChatGPT (Website + Windows + MacOS + Linux)

macOS menu bar app that allows control over the gpu on dual gpu macbooks

The Nature Programming Language

Native Language Benchmark in Numerous Algorithms

Compile and run LLVM IR in the browser

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Browsix is a Unix-like operating system for the browser.

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

程序员延寿指南 | A programmer's guide to live longer

macOS system monitor in your menu bar

A full-stack programming language