theo-lw Goto Github PK

anghabench

A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.

cargo

The Rust package manager

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

chip8

A simple CHIP-8 emulator written in Racket

chip8-rust

chip-8 emulator built in Rust

ece459

ECE 459: Programming for Performance

enzyme

High-performance automatic differentiation of LLVM.

etl

Embedded Template Library

hashes

Collection of cryptographic hash functions written in pure Rust

md5

MD5 hash function

nes-test-roms

Collection of test ROMs for testing a NES emulator.

nvim-config

My neovim config. Requires https://github.com/junegunn/vim-plug

prentendo-entertainment-system

A cycle-accurate NES emulator written in Rust.

rowan

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

rustfmt

Format Rust code

shopify-dev-challenge-2

Fall 2022 Shopify Production Engineering Challenge

shopify-dev-challenge-fall-2022

siamese-triplet

Siamese and triplet networks with online pair/triplet mining in PyTorch

simd_csv

An attempt at writing a fast CSV parser using SIMD instructions.

u-boot

"Das U-Boot" Source Tree

uwreact_robot

Software behind our fully autonomous FIRST robots

z3

The Z3 Theorem Prover