- Pittsburgh, PA
- https://aoli.al
Stars
- All languages
- ANTLR
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Cuda
- Dockerfile
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Markdown
- Meson
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- QML
- R
- Racket
- Reason
- Ruby
- Rust
- SMT
- Scala
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
- Zig
Empowering everyone to build reliable and efficient software.
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Lightweight coding agent that runs in your terminal
A markup-based typesetting system that is powerful and easy to learn.
A terminal workspace with batteries included
A cross-platform GUI library for Rust, inspired by Elm
A Git-compatible VCS that is both simple and powerful
An incremental parsing system for programming tools
Cross-platform Rust rewrite of the GNU coreutils
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
The fast, light, and robust client for Ethereum-like networks.
Bear is a tool that generates a compilation database for clang tooling.
Fast and friendly HTTP server framework for async Rust
a multi-language bindings generator for rust
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
A static verifier for Rust, based on the Viper verification infrastructure.