Members
-
scalene ★ PINNED
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
Python ★ 13k 56m agoExplain → -
coz ★ PINNED
Coz: Causal Profiling
C ★ 4.5k 2mo agoExplain → -
ChatDBG ★ PINNED
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
Python ★ 1.1k 4mo agoExplain → -
slipcover ★ PINNED
Near Zero-Overhead Python Code Coverage
Python ★ 585 1mo agoExplain → -
cwhy ★ PINNED
"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Python ★ 303 7mo agoExplain → -
sqlwrite ★ PINNED
SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
C ★ 126 4mo agoExplain → -
browsix
Browsix is a Unix-like operating system for the browser.
JavaScript ★ 3.2k 4y agoExplain → -
doppio
Breaks the browser language barrier (includes a plugin-free JVM).
TypeScript ★ 2.2k 3y agoExplain → -
Mesh
A memory allocator that automatically reduces the memory footprint of C/C++ applications.
C++ ★ 1.9k 2mo agoExplain → -
BLeak
BLeak: Automatically Debugging Memory Leaks in Web Applications
TypeScript ★ 410 3y agoExplain → -
coverup
Automatic AI-powered test suite generator
Python ★ 110 2mo agoExplain → -
NextDoor
Graph Sampling using GPU
Cuda ★ 52 4y agoExplain → -
bigO
Measures empirical computational complexity (in both time and space) of functions
Python ★ 50 5mo agoExplain → -
DataDebug
Excel 2010/2013 add-in that automatically finds errors in spreadsheets
C# ★ 48 10y agoExplain → -
systemgo
Init system in Go, intended to run on Browsix and other Unix-like OS. Part of GSoC 2016 project.
Go ★ 39 9y agoExplain → -
sheriff
Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can link with your code to eliminate false sharing.
C++ ★ 32 8y agoExplain → -
commentator
Automatically comments Python code, adding docstrings and type annotations, with optional translation to other languages.
Python ★ 28 2y agoExplain → -
pythoness
Pythoness: use natural language to define Python functions.
Python ★ 21 1y agoExplain → -
memory-landscape
The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).
★ 21 5y agoExplain → -
DoubleTake
Evidence-based dynamic analysis: a fast checker for memory errors.
C ★ 21 9y agoExplain → -
Predator
Predator: Predictive False Sharing Detection
C ★ 21 12y agoExplain → -
Ninia ⑂
Python interpreter in JavaScript
TypeScript ★ 20 10y agoExplain → -
dthreads ⑂
dthreads: Efficient Deterministic Multithreading
C ★ 20 10y agoExplain → -
stabilizer ⑂
Stabilizer: Rigorous Performance Evaluation
Perl ★ 17 11y agoExplain → -
browsix-emscripten ⑂
Emscripten: An LLVM-to-JavaScript Compiler
C ★ 12 7y agoExplain → -
Hound
Hound memory leak detector
C++ ★ 12 8y agoExplain → -
entroprise
measure entropy of memory allocators
C++ ★ 12 4y agoExplain → -
parcel
An Excel formula parser
C# ★ 12 7y agoExplain → -
scalene.github.io
Scalene web GUI
JavaScript ★ 11 11mo agoExplain → -
simplesocket
A simple socket wrapper for C++.
C++ ★ 11 13y agoExplain → -
snakefish
parallel Python
Python ★ 11 6y agoExplain → -
Rehearsal
Rehearsal: A Configuration Verification Tool for Puppet
Scala ★ 11 6y agoExplain → -
browsix-spec
No description.
JavaScript ★ 10 7y agoExplain → -
smash-project
Smash compressing allocator project
C++ ★ 10 6y agoExplain → -
Hoard ⑂
The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, Mac, and Solaris.
C++ ★ 9 2y agoExplain → -
vam
Implementation from "A Locality-Improving Dynamic Memory Allocator", Feng and Berger, MSP 2005
C++ ★ 8 2y agoExplain → -
compsci631
Support code for Programming Languages (COMPSCI631)
OCaml ★ 8 6y agoExplain → -
Archipelago
Archipelago memory allocator
C ★ 8 11y agoExplain → -
scalene-vscode-extension
No description.
JavaScript ★ 7 7mo agoExplain → -
Tortoise ▣
Tortoise: Interactive System Configuration Repair
Scala ★ 7 8y agoExplain → -
llm-utils
Utilities for our LLM projects (CWhy, ChatDBG, ...).
Python ★ 7 2y agoExplain → -
transparentFS
TransparentFS code, paper, and slides
C ★ 6 9y agoExplain → -
coverup-eval
No description.
Python ★ 5 1y agoExplain → -
dts
Deterministic Thread Scheduler - pthread interposition for reproducible multi-threaded execution
C ★ 4 4mo agoExplain → -
doppio-demo ⑂
Demo of the Doppio Runtime System.
Java ★ 4 6mo agoExplain → -
pytest-cleanslate
No description.
Python ★ 4 1y agoExplain → -
HeapToss
HeapToss is an LLVM compiler pass that moves stack variables that may escape their declaring function's context into the heap.
★ 4 13y agoExplain → -
homebrew-scalene
Homebrew tap for Scalene (emeryberger/scalene)
Ruby ★ 4 2y agoExplain → -
GSoC
Description of our Google Summer of Code projects for 2015
★ 3 10y agoExplain → -
DieHard ⑂
DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X
C ★ 3 1y agoExplain → -
mesh-testsuite
No description.
C ★ 2 5y agoExplain → -
accelerant
No description.
Python ★ 2 6mo agoExplain → -
custom-public
No description.
Jupyter Notebook ★ 2 2y agoExplain → -
emcc_control
No description.
C ★ 2 6y agoExplain → -
plasma-umass.github.io
home page
HTML ★ 2 1y agoExplain → -
spl ▣
No description.
Rust ★ 2 6y agoExplain → -
jsvm
No description.
JavaScript ★ 2 13y agoExplain → -
doppio_jcl
Scripts that produce a version of the Java Class Library and Java Home in a way that is compatible with DoppioJVM.
TypeScript ★ 2 10y agoExplain → -
SurveyMan ⑂
SurveyMan programming language.
Java ★ 2 11y agoExplain → -
GSoC-2013
Google Summer of Code 2013
★ 2 13y agoExplain → -
evidence
No description.
Python ★ 1 4mo agoExplain → -
TypeEvalPy ⑂
A Micro-benchmarking Framework for Python Type Inference Tools
Python ★ 1 2mo agoExplain → -
crdp ⑂
A fast Ramer-Douglas-Peucker algorithm implementation.
Python ★ 1 2y agoExplain → -
ChatSheet
No description.
Python ★ 1 2y agoExplain → -
scalene-benchmarks
Benchmarks comparing Scalene with other commonly-used profilers
Python ★ 1 4y agoExplain → -
nextdoor-eurosys21
No description.
HTML ★ 1 5y agoExplain → -
PLGradSchools ⑂
No description.
★ 1 7y agoExplain → -
transparentMM
Transparent memory management
★ 1 9y agoExplain → -
proto
probabilistic race tolerance
C ★ 1 3y agoExplain → -
typissed
Generates MTurk typo jobs
C# ★ 1 12y agoExplain → -
Heap-Layers ⑂
Heap Layers: An Extensible Memory Allocation Infrastructure
C ★ 1 13y agoExplain → -
RightTyper ⑂
A fast and efficient type assistant for Python, including tensor shape inference
Python ★ 0 2mo agoExplain → -
redis-smash ⑂
Redis fork with memory compressor (Smash) compatibility patches: cached object metadata + idle mode
★ 0 2mo agoExplain → -
.github
No description.
★ 0 4mo agoExplain → -
o3de ⑂
Open 3D Engine (O3DE) is an Apache 2.0-licensed multi-platform 3D engine that enables developers and content creators to build AAA games, cinema-quality 3D worlds, and high-fidelity simulations without any fees or commercial obligations.
C++ ★ 0 4mo agoExplain → -
libelfin ⑂
C++11 ELF/DWARF parser
C++ ★ 0 5mo agoExplain → -
typybench ⑂
[ICML2025] Evaluating LLM Type Inference for Untyped Python Repositories
★ 0 1y agoExplain → -
scalene-foo.github.io
Scalene UI
JavaScript ★ 0 11mo agoExplain → -
codamosa ⑂
No description.
Python ★ 0 1y agoExplain → -
MuTAP ⑂
MutAP: A prompt_based learning technique to automatically generate test cases with Large Language Model
Python ★ 0 1y agoExplain → -
homebrew-sqlwrite
Homebrew tap to install SQLwrite
Ruby ★ 0 1y agoExplain → -
botocore ⑂
The low-level, core functionality of boto3 and the AWS CLI.
Python ★ 0 1y agoExplain → -
cpython-310 ⑂
The Python programming language
★ 0 2y agoExplain → -
JCoz ⑂
JCoz -- The first Java causal profiler
★ 0 3y agoExplain → -
cs630-ouroboros-template
COMPSCI 630 Spring 2023 Ouroboros Python Optimizer Project
Python ★ 0 3y agoExplain → -
openwhisk ▣
No description.
Scala ★ 0 6y agoExplain → -
programslice ⑂
Static analysis tool to slice python programs
★ 0 9y agoExplain → -
rdp ⑂
Python/Numpy implementation of the Ramer-Douglas-Peucker algorithm
★ 0 5y agoExplain → -
undofs-template
No description.
C ★ 0 4y agoExplain → -
wasm-gc-template
No description.
C++ ★ 0 4y agoExplain → -
bde ⑂
Basic Development Environment - a set of foundational C++ libraries used at Bloomberg.
C++ ★ 0 4y agoExplain → -
go-benchmarking
Repo for doing all sorts of go / wasm benchmarking
Jupyter Notebook ★ 0 6y agoExplain → -
snakeprof-project
snakes on a prof
Python ★ 0 6y agoExplain → -
openwhisk-cli
No description.
Scala ★ 0 7y agoExplain → -
compsci691pl-spring2019
No description.
Idris ★ 0 7y agoExplain → -
Multi-threaded-WordCount
fall-18-project-1-multi-threaded-word-count-sidewinder182 created by GitHub Classroom
Java ★ 0 7y agoExplain → -
AutomanPy ⑂
Python Bindings of AutoMan
Python ★ 0 7y agoExplain → -
presentations
presentations
C++ ★ 0 7y agoExplain → -
CSrankings ⑂
A web app for ranking computer science departments according to their research output in selective venues.
Python ★ 0 8y agoExplain → -
Reconsidering2-1 ⑂
Repo for notes and stuff related to Reconsidering Custom Allocation 2
★ 0 10y agoExplain → -
pangloss
Experimental naive Bayes classifier to identify programming languages
Python ★ 0 8y agoExplain → -
systems-for-ds
Systems for data science class
HTML ★ 0 8y agoExplain → -
plasma-seminar
plasma seminar repo
★ 0 8y agoExplain → -
ExceLint-1 ⑂
Spatio-structural analysis plugin for Microsoft Excel
F# ★ 0 8y agoExplain → -
COMPSCI590S ⑂
Systems for Data Science repo
TeX ★ 0 8y agoExplain → -
TurkCellTask
Client-side logic for presenting a CheckCell error-ranking question on Mechanical Turk through JavaScript.
TypeScript ★ 0 9y agoExplain → -
redline
Redline OS (OSDI 2008)
★ 0 9y agoExplain → -
PLASMA-graphics
Logos, etc. for PLASMA
★ 0 10y agoExplain → -
automan-debugger ⑂
Repository for AutoMan IntelliJ Debugger (AID). AID is a plugin for IntelliJ IDEA, written in Scala mostly. It is designed to make developing AutoMan tasks easier.
JavaScript ★ 0 10y agoExplain → -
affectrics
Program metric correlates of human affect
Python ★ 0 11y agoExplain → -
TongpingThesis
No description.
TeX ★ 0 12y agoExplain →
No repos match these filters.