Stars
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
The language app you eventually delete. A native iPhone companion for learning through conversation.
Orca lets you run a fleet of coding agents (e.g. Claude Code, Codex) with your own subscription. Available on desktop, mobile and remote runtime.
Learn AI Engineering! Learn it. Build it. Ship it for others.
Chrome extension & CLI to let agents control your browser. Runs Playwright snippets in a stateful sandbox. Available as CLI or MCP
Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows
This repository contains the data and scripts necessary to reproduce the results presented in the paper: **"Scalable molecular simulation of electrolyte solutions with quantum chemical accuracy"** …
A coding agent for open models like Kimi K3 and GLM 5.3
⭐️ A friendly language for building type-safe, scalable systems!
Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code
A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.
A data structure for mathematical optimization problems
🌈 Deterministic tints and shades from a given hex color.
An open-source engine that turns continuous content streams into search and monitoring. Durable ingestion, hybrid search, alerts, and plugins for formats, models and business rules.
Modified Stanford-Alpaca Trainer for Training Replit's Code Model
PartyKit simplifies developing multiplayer applications
High accuracy RAG for answering questions from scientific documents with citations
Wove is a tool for building long-running workflows with LLMs.
The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.
A zero-config, drop-in animation utility that adds smooth transitions to your web app. You can use it with React, Vue, or any other JavaScript application.
Build LLM apps in Typescript/Javascript. 🧑💻 🧑💻 🧑💻 🚀 🚀 🚀
Aspen Plus - Python interface which acts as an API to automate the design synthsis. It includes all variables for RADFRAC, DSTWU, Flash2, RYield, RPlug, RCSTR, Heater, Mixer, Splitter. It includes …
Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…