Skip to content
View prp's full-sized avatar
  • London, United Kingdom

Highlights

  • Pro

Organizations

@lsds

Block or report prp

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

Franken-Solver: A Fast Optimal Rubik's Cube Solver in Rust

Rust 2 Updated May 20, 2026

Tempo is a system for declarative, efficient, end-to-end compiled dynamic deep learning

Python 29 3 Updated Oct 21, 2025

Messaging and state layer for distributed serverless applications

C++ 69 15 Updated Oct 9, 2025

Dynamic resources changes for multi-dimensional parallelism training

Go 31 5 Updated Aug 22, 2025

Differentiable Rasteriser implemented in JAX. Reference: https://github.com/erwincoumans/tinyrenderer, https://github.com/ssloy/tinyrenderer/wiki; PR: https://github.com/google/brax/pull/367

Jupyter Notebook 81 10 Updated Nov 14, 2023

Virtualisation platform using CHERI for isolation and sharing

40 9 Updated Jun 5, 2024

High-performance stateful serverless runtime based on WebAssembly

C++ 924 71 Updated Dec 23, 2025

PyTorch Library for Low-Latency, High-Throughput Graph Learning on GPUs.

Python 304 37 Updated Aug 17, 2023

Compartmentalised monolithic library OS

LLVM 21 3 Updated Jul 15, 2021

An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on Azure Confidential Computing.

C 60 9 Updated Aug 30, 2022

Multi-core Window-Based Stream Processing Engine

C++ 74 19 Updated Oct 20, 2021

Neptune Execution Framework for Stream/Batch Spark Applications

Scala 9 Updated Sep 21, 2019

Fast and Adaptive Distributed Machine Learning for TensorFlow, PyTorch and MindSpore.

Go 295 59 Updated Feb 23, 2024

Keyboard productivity extension for Thunderbird

JavaScript 149 28 Updated Nov 16, 2020

Linux kernel source tree

C 906 154 Updated Jun 14, 2026

rkt-io Library OS for running Linux applications inside of Intel SGX enclaves

C 35 7 Updated Feb 11, 2022

SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves

C 269 93 Updated Dec 25, 2022

Source code for debs.org website

HTML 2 Updated Jan 16, 2026

Crossbow: A Multi-GPU Deep Learning System for Training with Small Batch Sizes

Java 57 7 Updated Oct 5, 2022

Systems for ML/AI & ML/AI for Systems paper reading list: A curated reading list of computer science research for work at the intersection of machine learning and systems. PR are welcome.

286 39 Updated Jun 9, 2025

SDK for developing enclaves

C 1,189 378 Updated Jun 23, 2026

Resilient Edge Processing Platform for the IoT

Java 2 Updated Sep 21, 2018

Measuring the performance of popular streaming engines with Yahoo's Streaming Benchmark

C++ 53 7 Updated May 10, 2019

Secure auditing of Internet services with Intel SGX

C 23 5 Updated Apr 30, 2021

Teechain: A Secure Payment Network with Asynchronous Blockchain Access

C++ 56 16 Updated Aug 26, 2019

Spectre attack against SGX enclave

C 241 47 Updated Jan 14, 2018

Modified musl libc for SGX-LKL

C 13 9 Updated Sep 28, 2020

Secure ZooKeeper using Intel SGX

Java 22 4 Updated Jan 12, 2017

Efficient TLS termination inside Intel SGX enclaves for existing applications

C 110 18 Updated Jan 25, 2022

The Fortanix Rust Enclave Development Platform

Rust 487 108 Updated Jun 12, 2026
Next