James R T's Projects
A reactive programming library for JavaScript
Converts floating point numbers to decimal strings
Experimental Nintendo Switch Emulator written in C#
S2E: A platform for multi-path program analysis with selective symbolic execution.
Computational geometry and spatial indexing on the sphere
Courseware setup and information for instructors
safec libc extension with all C11 Annex K functions
Write safer FFI code in Rust without polluting it with unsafe code
Main repository of SageMath. Now open for Issues and Pull Requests.
Framework agnostic sliced/tiled inference + interactive ui + error analysis plots
Switch Abstraction Interface
Sail architecture definition language
Sail RISC-V model
Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt software package repository here:
Structured Adaptive Mesh Refinement Application Infrastructure - a scalable C++ framework for block-structured AMR application development
Implementation of Cassandra DB for 50.041
A Scalable, User-Friendly Source Control System.
Sarama is a Go library for Apache Kafka.
SatCat5 is a mixed-media Ethernet switch that lets a variety of devices communicate on the same network.
Simulation-based inference toolkit
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Scala 2 compiler and standard library. For bugs, see scala/bug
Your favorite language gets closer to bare metal.
Repository for the SCALE-MAMBA MPC system
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python
a Suite in Python for Computer-Assisted Music [MIRROR of https://git.sr.ht/~marcevanstein/scamp]
Scapy: the Python-based interactive packet manipulation program & library. Supports Python 2 & Python 3.
sccache is ccache with cloud storage
Image processing in Python
scikit-learn: machine learning in Python