Pinned Repositories
babelJS-gen-gen
Generate the BabelJS generation code to generate a given JS file
Compiler
compiler for Oberon written in C
DStatic-error-tracking
QL re-implementation of Aspirator (OSDI 2014) static analysis for catch clause error tracking in Java distributed systems
JSEventAPIModelling
Large-scale learning of event-based API dead listener bugs for JS packages: data and code
miri
An interpreter for Rust's mid-level intermediate representation
nessie
Data- and feedback-driven automated test generation for JavaScript APIs
npm-filter
Tool to determine metrics for specified npm packages and/or JavaScript github repos
stubbifier
Tool for debloating JavaScript applications
TurtleWalk
Self-avoiding walk simulations, represented via Python's Turtle Graphics
VectorSpace
Code to symbolically check vector space axioms for a given vector space class.
emarteca's Repositories
emarteca/npm-filter
Tool to determine metrics for specified npm packages and/or JavaScript github repos
emarteca/nessie
Data- and feedback-driven automated test generation for JavaScript APIs
emarteca/Compiler
compiler for Oberon written in C
emarteca/miri
An interpreter for Rust's mid-level intermediate representation
emarteca/stubbifier
Tool for debloating JavaScript applications
emarteca/TurtleWalk
Self-avoiding walk simulations, represented via Python's Turtle Graphics
emarteca/babelJS-gen-gen
Generate the BabelJS generation code to generate a given JS file
emarteca/DStatic-error-tracking
QL re-implementation of Aspirator (OSDI 2014) static analysis for catch clause error tracking in Java distributed systems
emarteca/JSEventAPIModelling
Large-scale learning of event-based API dead listener bugs for JS packages: data and code
emarteca/repo-contrib-stats
Simple script to get some stats on the contributions to a github repo
emarteca/VectorSpace
Code to symbolically check vector space axioms for a given vector space class.
emarteca/CODE2014
Higher! App for the Canadian Open Data Experience hackathon 2014
emarteca/DefinitelyTyped
The repository for high quality TypeScript type definitions.
emarteca/diplomat
Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
emarteca/dsPopSim
Drosophila suzukii population simulator
emarteca/emarteca.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
emarteca/Groebner
code for undergrad thesis in groebner basis computations, using cra and hensel lifting (in maple)
emarteca/kactus
:cactus: A true version control tool for designers
emarteca/lazy-table
A python-tabulate wrapper for producing tables from generators
emarteca/ql
The standard QL libraries and queries that power LGTM.com and other Semmle Products
emarteca/Resynchronizer
Tool for reordering await expressions in asynchronous JavaScript to increase concurrency; backend is a static side effect analysis
emarteca/rust
Empowering everyone to build reliable and efficient software.
emarteca/rust-smt-ir
emarteca/SWDModel_QLTarget
Old version of SWDModel with some design flaws on purpose, as an exercise for QL queries for a course assignment
emarteca/TPMDb
TPMDb is a Chrome extension that lets you view movie information directly in The Pirate Bay (TPB). TPB is a torrent tracker. You alone are responsible for abiding by your local laws.
emarteca/Umple
Model-Oriented Programming; code generation for UML class diagrams and state machines
emarteca/uniffi-rs
a multi-language bindings generator for rust