Skip to content
View thomasl's full-sized avatar

Block or report thomasl

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
39 stars written in Rust
Clear filter

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 34,657 3,409 Updated Dec 19, 2025

Secure and fast microVMs for serverless computing.

Rust 31,446 2,177 Updated Dec 18, 2025

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Rust 30,544 2,855 Updated Dec 18, 2025

A syntax-highlighting pager for git, diff, grep, and blame output

Rust 28,414 463 Updated Dec 11, 2025

Anki is a smart spaced repetition flashcard program

Rust 25,313 2,653 Updated Dec 16, 2025

A Git-compatible VCS that is both simple and powerful

Rust 23,249 847 Updated Dec 19, 2025

An incremental parsing system for programming tools

Rust 23,051 2,269 Updated Dec 17, 2025

🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.

Rust 21,074 608 Updated Jan 6, 2025

A massively parallel, high-level programming language

Rust 19,115 468 Updated Jun 3, 2025

Actor framework for Rust.

Rust 9,093 665 Updated Dec 1, 2025

The Mullvad VPN client app for desktop and mobile

Rust 6,537 443 Updated Dec 19, 2025

Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.

Rust 6,202 293 Updated Dec 9, 2025

A small and fast async runtime for Rust

Rust 4,656 179 Updated Dec 8, 2025

opensource self-hosted sandboxes for ai agent

Rust 4,204 187 Updated Nov 21, 2025

High-velocity, monorepo-scale workflow for Git

Rust 3,946 100 Updated Nov 24, 2025

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Rust 3,800 123 Updated Dec 4, 2024

Free, open source, a high frequency trading and market making backtesting and trading bot, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and o…

Rust 3,406 680 Updated Dec 10, 2025

Highly-available Distributed Fault-tolerant Runtime

Rust 2,887 102 Updated Apr 22, 2023

An implementation of differential dataflow using timely dataflow on Rust.

Rust 2,877 199 Updated Nov 24, 2025

Reference client for NEAR Protocol

Rust 2,544 755 Updated Dec 19, 2025

A modern Prolog implementation written mostly in Rust.

Rust 2,336 159 Updated Dec 17, 2025

Collection of cryptographic hash functions written in pure Rust

Rust 2,147 305 Updated Dec 15, 2025

A simple and fast linear algebra library for games and graphics

Rust 1,852 188 Updated Oct 28, 2025

A model checker for implementing distributed systems.

Rust 1,741 61 Updated Jul 27, 2025

Rust library for building and running BPF/eBPF modules

Rust 1,718 139 Updated Jun 30, 2023

Cross platfrom window and framebuffer crate for Rust

Rust 1,152 106 Updated Dec 6, 2025

Mycelite is a SQLite extension that allows you to synchronize changes from one instance of SQLite to another.

Rust 1,097 16 Updated Sep 25, 2023

An Erlang VM implementation in Rust

Rust 1,080 42 Updated Jan 12, 2022

Rust zeromq bindings.

Rust 984 206 Updated May 30, 2025

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

Rust 579 167 Updated Dec 18, 2025
Next