James R T's Projects
SUTD 2020 50.002 Computation Structures Code Dump
VSCode Extension for Computation Structures Courseware (jsim, tmsim, bsim)
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Container Signing
build-once run-anywhere c library
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Courseware setup and information for instructors
static analysis of C/C++ code
SUTD 2021 50.005 Computer System Engineering Code Dump
A Spell Checker for Code!
Free and Open Source Reverse Engineering Platform powered by rizin
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
D2 is a modern diagram scripting language that turns text to diagrams.
The Data Transfer Project makes it easy for people to transfer their data between online service providers. We are establishing a common framework, including data models and protocols, to enable direct transfer of data both into and out of participating online service providers.
⏳ Modern JavaScript date utility library ⌛️
SUTD 2021 50.043 Database and Big Data Systems Code Dump
10xD - OpenSUTD "not-Hacktoberfest" Challenge
Machine Learning to Deobfuscate Binaries
An Open Toolkit for Knowledge Graph Extraction and Construction published at EMNLP2022 System Demonstrations.
DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.
The repository for high quality TypeScript type definitions.
SUTD 2019 03.007 Introduction to Design Project
Delve is a debugger for the Go programming language.
Dendrite is a second-generation Matrix homeserver written in Go!
Deobfuscator for Android Application
[NeurIPS'19] Deep Equilibrium Models
Device OS (Firmware) for Particle Devices
[Official] Android reverse engineering tool focused on dynamic instrumentation automation leveraging Frida. It disassembles dex, analyzes it statically, generates hooks, discovers reflected methods, stores intercepted data and does new things from it. Its aim is to be an all-in-one Android reverse engineering platform.
🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver