-
Meta Platforms, Inc.
- Menlo Park, CA
-
06:33
(UTC -07:00) - @ychen97
Stars
- All languages
- ASL
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Coq
- Cuda
- Dockerfile
- Emacs Lisp
- F#
- F*
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- OCaml
- Objective-C
- PHP
- Pascal
- PowerShell
- Python
- QML
- Racket
- Rhai
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Zig
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Boot anything nixpkgs ever shipped, in your browser.
SonicBOOM: The Berkeley Out-of-Order Machine
Audio DSP Hardware Enablement (Port) efforts for the Lenovo Yoga Slim 7X on Linux
x86 PC emulator and x86-to-wasm JIT, running in the browser
RSD: RISC-V Out-of-Order Superscalar Processor
Mostly-working Linux bring-up for the ASUS Zenbook A16 (Snapdragon X2 Elite / glymur / sm8750): kernel notes, device trees, firmware + tweak manifest, and distro image build scripts.
Your favorite operating systems in one place. A network-based bootable operating system installer based on iPXE.
Desktop Environment based on GNUstep welcoming to switchers
Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦
macOS: mount any linux-supported filesystem read/write using NFS and a microVM
Proof-of-Concept Apple Silicon Backend for Triton
Development repository for the Triton language and compiler
chipStar is a tool for compiling and running HIP/CUDA on SPIR-V via OpenCL or Level Zero APIs.
Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous progra…
Pixel™ phone flashing GUI utility with features.
Share your VPN connection over hotspot or repeater! (root required)
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
Offline documentation browser. Your personal reference library, searchable in an instant.
Minimalist Android SMS to Telegram Forwarder
💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.
AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models