Skip to content
View arvid220u's full-sized avatar

Organizations

@mit-pdos

Block or report arvid220u

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The TypeScript implementation of Connect: Protobuf RPC that works.

TypeScript 1,796 126 Updated Aug 5, 2026

A Rust NFS Server implementation

Rust 756 90 Updated Jun 18, 2026

Tools for observing file extents, especially in clonefiles (aka reflinks). For macOS and Linux.

C 11 Updated Jul 17, 2023

AICI: Prompts as (Wasm) Programs

Rust 2,074 84 Updated Jan 22, 2025

A configuration as code language with rich validation and tooling.

Java 11,483 397 Updated Aug 7, 2026

Automation engine to build, test and ship any codebase. Runs locally, in CI, or directly in the cloud

Go 16,142 905 Updated Aug 8, 2026

A declarative, efficient, and flexible JavaScript library for building user interfaces.

TypeScript 35,815 1,085 Updated Aug 7, 2026

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 88,254 9,930 Updated Aug 8, 2026

Fixture-based test framework for Rust

Rust 1,576 73 Updated Mar 26, 2026

A compiler for homomorphic encryption

MLIR 761 150 Updated Aug 8, 2026

The open-source visual AI programming environment and TypeScript library

TypeScript 4,658 388 Updated Jul 15, 2026

VSCode Remote Development: Open any folder on a remote machine using SSH.

TypeScript 651 134 Updated Aug 7, 2026

🔥 single-command flamegraph profiling 🔥

JavaScript 3,549 114 Updated Sep 30, 2025

Prompt design using JSX.

TypeScript 2,844 160 Updated Oct 15, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 55,346 1,671 Updated Aug 7, 2026

OpenAI's tiktoken but with node bindings

Rust 108 9 Updated May 18, 2024

Build system, successor to Buck

Rust 4,388 383 Updated Aug 8, 2026

The original askama repo, please go to https://github.com/askama-rs/askama

Rust 3,541 212 Updated Mar 11, 2025

Some examples of GPT-4 for code!

C++ 496 38 Updated Mar 14, 2023
Starlark 3 Updated Oct 15, 2022

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 39,687 18,150 Updated Aug 8, 2026

WebSocket Connector for Ypy

Python 52 22 Updated Apr 19, 2025

Guide for using gfx-rs's wgpu library.

Rust 1,955 322 Updated Jul 22, 2026

Collaborative tab sessions.

TypeScript 3 Updated Oct 5, 2022

A starter project to build Chrome extensions using React and TypeScript. Ideal for developers looking to create efficient and modern Chrome extensions with a focus on a clean development workflow u…

TypeScript 249 62 Updated Mar 7, 2026

Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.

LLVM 129 39 Updated Aug 8, 2026

Fast, High-Rate Single-Server PIR via FHE Composition

C++ 40 11 Updated May 2, 2022

Whitepaper describing our exact threat model and how we achieve security against it.

TeX 10 1 Updated Nov 17, 2025

"Hello world!" program in Rust

Rust 4 3 Updated Nov 24, 2017

A foundational framework for modular cryptographic proofs in Coq

Rocq Prover 89 20 Updated Jul 23, 2026
Next