Highlights
- Pro
Stars
- All languages
- Agda
- Assembly
- Astro
- Bikeshed
- BitBake
- BlitzBasic
- BlitzMax
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Common Workflow Language
- Coq
- Crystal
- Cuda
- D
- Dafny
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- GDScript
- GLSL
- Go
- Groovy
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Limbo
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Meson
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- OpenQASM
- PHP
- Pascal
- Perl
- Pony
- PowerShell
- PureScript
- Python
- R
- Racket
- Reason
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sail
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TSQL
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Visual Basic .NET
- Vue
- WebAssembly
- ZIL
- Zig
- hoon
- nesC
- reStructuredText
The Durable Task Framework is a lightweight, embeddable engine for writing durable, fault-tolerant business logic (orchestrations) as ordinary code.
Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦
Light, fluffy, and always free - The AWS Local Emulator alternative
Distributed Async Await — Durable Executions, Dead Simple
ClickHouse® is a real-time analytics database management system
An efficient index for the colored, compacted, de Bruijn graph
Sandbox any AI agent in seconds - zero setup, zero latency.
Free split-flap display emulator for any TV. The classic flip-board look, without the $3,500 hardware.
Fully automatic censorship removal for language models
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…
OpenShell is the safe, private runtime for autonomous AI agents.
Accessibility engine for automated Web UI testing
Effortlessly compose, extend, and observe every service in real-time for the first time ever.
Form to post assignments into our Slack.
Official inference framework for 1-bit LLMs
Generate custom gridfinity bins with AI, from photos of your tools
Zepto terminal text editor: minimalist, modern, intuitive, single file
Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.
An orchestrator and sandbox for llms like Claude Code and Codex
Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.
A collection of skills for AI coding agents from Semgrep
A comprehensive framework for analyzing and defending against attacks targeting Software Development Life Cycle Infrastructure.