- Sunnyvale
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- Bluespec
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Dart
- Emacs Lisp
- Erlang
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- Makefile
- Nix
- OCaml
- PHP
- Prolog
- Python
- R
- Racket
- Raku
- ReScript
- Rocq Prover
- Roff
- Ruby
- Rust
- Sail
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- Terra
- TypeScript
- UrWeb
- Verilog
- Vim Script
- Wren
- Zig
True AI-Native Browser — a VLM reads the HTML and hallucinates the page.
A high-throughput and memory-efficient inference and serving engine for LLMs
A fast, safe, and intuitive DataFrame library.
A minimal GPU design in Verilog to learn how GPUs work from the ground up
MCP server for reverse engineering tasks in Ghidra 👩💻
AgentRE-Bench is an agentic benchmark that evaluates state-of-the-art models on long-horizon reverse engineering tasks, measuring their ability to analyze binaries, use tooling effectively, and rea…
#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere
Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage compu…
The research UEFI hypervisor that supports booting an operating system.
A media player framework based on ExoPlayer. Separate from NewPipe to enforce modularity.
A libre lightweight streaming front-end for Android.
A powerful new shell that uses the janet programming language for both the implementation and repl.
A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
A open source reimplementation of Google's Tensor Processing Unit (TPU).
Cap'n Proto serialization/RPC system - core tools and C++ library
An implementation of the Interactive Brokers API for Rust
Compiler for a tiny subset of the Scheme language.
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
An extensible, state-of-the-art framework for columnar compression, and the fastest FOSS columnar file format. Formerly at @spiraldb, now an Incubation Stage project at LFAI&Data, part of the Linux…
jank is the native Clojure dialect with seamless C++ interop.