emarteca

npm-filter

Tool to determine metrics for specified npm packages and/or JavaScript github repos

nessie

Data- and feedback-driven automated test generation for JavaScript APIs

Compiler

compiler for Oberon written in C

miri

An interpreter for Rust's mid-level intermediate representation

stubbifier

Tool for debloating JavaScript applications

TurtleWalk

Self-avoiding walk simulations, represented via Python's Turtle Graphics

babelJS-gen-gen

Generate the BabelJS generation code to generate a given JS file

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

repo-contrib-stats

Simple script to get some stats on the contributions to a github repo

VectorSpace

Code to symbolically check vector space axioms for a given vector space class.

CODE2014

Higher! App for the Canadian Open Data Experience hackathon 2014

DefinitelyTyped

The repository for high quality TypeScript type definitions.

diplomat

Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code

dsPopSim

Drosophila suzukii population simulator

emarteca.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Groebner

code for undergrad thesis in groebner basis computations, using cra and hensel lifting (in maple)

kactus

:cactus: A true version control tool for designers

lazy-table

A python-tabulate wrapper for producing tables from generators

ql

The standard QL libraries and queries that power LGTM.com and other Semmle Products

Resynchronizer

Tool for reordering await expressions in asynchronous JavaScript to increase concurrency; backend is a static side effect analysis

rust

Empowering everyone to build reliable and efficient software.

rust-smt-ir

SWDModel_QLTarget

Old version of SWDModel with some design flaws on purpose, as an exercise for QL queries for a course assignment

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.

Umple

Model-Oriented Programming; code generation for UML class diagrams and state machines

uniffi-rs

a multi-language bindings generator for rust