emarteca Goto Github PK

babeljs-gen-gen

Generate the BabelJS generation code to generate a given JS file

code2014

Higher! App for the Canadian Open Data Experience hackathon 2014

compiler

compiler for Oberon written in C

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

dstatic-error-tracking

QL re-implementation of Aspirator (OSDI 2014) static analysis for catch clause error tracking in Java distributed systems

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)

jseventapimodelling

Large-scale learning of event-based API dead listener bugs for JS packages: data and code

kactus

:cactus: A true version control tool for designers

lazy-table

A python-tabulate wrapper for producing tables from generators

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

ql

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

repo-contrib-stats

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

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

stubbifier

Tool for debloating JavaScript applications

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.

turtlewalk

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

umple

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

uniffi-rs

a multi-language bindings generator for rust

vectorspace

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