Thanks to visit codestin.com
Credit goes to GitHub.com

Skip to content
View daniel-levin's full-sized avatar

Highlights

  • Pro

Block or report daniel-levin

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

Starred repositories

Showing results

A Linux framework to enable userspace-defined "Virtual" PCIe card shims to enable in-host PCIe card driver development.

C 330 10 Updated Jan 26, 2026

Repo for AI Compiler team. The intended purpose of this repo is for implementation of a PJRT device.

Python 51 22 Updated Jan 29, 2026

Rust implementation of bors used for various Rust components (e.g. the compiler).

Rust 127 46 Updated Jan 29, 2026

Open Source SMT Pick and Place Hardware and Software

Java 2,023 645 Updated Jan 24, 2026

Renderer for the harmony response format to be used with gpt-oss

Rust 4,159 250 Updated Dec 15, 2025

A P4 compiler

Rust 135 12 Updated Jan 28, 2026

A machine learning compiler for GPUs, CPUs, and ML accelerators

C++ 3,931 735 Updated Jan 29, 2026

An ergonomic and safe syscall interception framework for Linux.

Rust 811 37 Updated Jan 28, 2026

Concurrency permutation testing tool for Rust.

Rust 2,583 127 Updated Jan 12, 2026
Python 159 10 Updated Jan 4, 2026

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

Rust 5,023 224 Updated Jan 15, 2026

expose REST APIs from a Rust program

Rust 1,138 91 Updated Jan 28, 2026

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Zig 86,860 3,973 Updated Jan 29, 2026

A minimal development of SSA theory

Lean 207 23 Updated Jan 29, 2026

Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek, Qwen, Llama, Gemma, TTS 2x faster with 70% less VRAM.

Python 51,319 4,242 Updated Jan 27, 2026

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure

C++ 970 398 Updated Jan 27, 2026

Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

Rust 28,465 2,023 Updated Jan 29, 2026

Reindeer is a tool to transform Rust Cargo dependencies into generated Buck build rules

Rust 252 47 Updated Jan 29, 2026

Ongoing research training transformer models at scale

Python 15,068 3,545 Updated Jan 29, 2026

A zero sysroot, fully hermetic C/C++ cross compilation toolchain for Bazel based on LLVM.

Starlark 80 10 Updated Jan 27, 2026

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Rust 2,740 201 Updated Jan 28, 2026

An extremely fast Python type checker and language server, written in Rust.

Python 16,854 198 Updated Jan 28, 2026

An extremely fast Python linter and code formatter, written in Rust.

Rust 45,446 1,730 Updated Jan 29, 2026

Turso is an in-process SQL database, compatible with SQLite.

Rust 16,885 710 Updated Jan 29, 2026

Tenstorrent MLIR compiler

MLIR 243 93 Updated Jan 29, 2026

Tenstorrent QEMU tree

C 3 Updated Oct 17, 2025

Self checking RISC-V directed tests

Assembly 119 17 Updated Jun 3, 2025

Framework to perform DUT vs ISS (Whisper) lockstep architectural checks

C 24 10 Updated Oct 15, 2025

RISC-V Directed Test Framework and Compliance Suite, RiESCUE

Python 51 11 Updated Dec 3, 2025
Next