James R T's Projects
This is the project website for the TEAMMATES feedback management tool for education
Pure Python 3 MTProto API Telegram client library, for bots too!
Test definitions work with and without LAVA
A code-searching tool similar to ack, but faster.
A Telegram Bot for The Spread
JavaScript 3D Library.
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
TinyCheck allows you to easily capture network communications from a smartphone or any device which can be associated to a Wi-Fi access point in order to quickly analyze them.
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
A polyhedral compiler for expressing fast and portable data parallel algorithms
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Linux Runtime Security and Forensics using eBPF
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
An incremental parsing system for programming tools
:lock: Trezor Firmware Monorepo
A transparent, highly scalable and cryptographically verifiable data store.
Development repository for the Triton language and compiler
Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more
tspdb: Time Series Predict DB
USB Keystroke Injection Protection
RFC-7234 compliant caching for any `fetch` implementation
Unofficial Unicorn Mirror.
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
Large-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities
Simple Unit Testing for C
The next open source file uploader for web browsers :dog:
Universal Scene Description
🦄 🦄 🦄 Core smart contracts of Uniswap v3
Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualization and exploration of big tabular data at a billion rows per second 🚀
VAST is an experimental frontend designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.