-
mls-rs Public
Forked from awslabs/mls-rsAn implementation of Messaging Layer Security (RFC 9420)
Rust Apache License 2.0 UpdatedAug 18, 2025 -
emarteca.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedFeb 16, 2025 -
diplomat Public
Forked from rust-diplomat/diplomatExperimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
Rust Other UpdatedJan 7, 2025 -
uniffi-rs Public
Forked from mozilla/uniffi-rsa multi-language bindings generator for rust
Rust Mozilla Public License 2.0 UpdatedJun 13, 2024 -
npm-filter Public
Tool for automatic extraction of dynamic metadata from nodejs applications
-
nessie Public
Data- and feedback-driven automated test generation for JavaScript APIs
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedNov 9, 2022 -
stubbifier Public
Tool for debloating JavaScript applications
-
miri Public
Forked from rust-lang/miriAn interpreter for Rust's mid-level intermediate representation
-
repo-contrib-stats Public
Simple script to get some stats on the contributions to a github repo
-
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedNov 18, 2021 -
lazy-table Public
Forked from parsiad/lazy-tableA python-tabulate wrapper for producing tables from generators
Python MIT License UpdatedSep 28, 2021 -
-
babelJS-gen-gen Public
Generate the BabelJS generation code to generate a given JS file
-
JSEventAPIModelling Public
Large-scale learning of event-based API dead listener bugs for JS packages: data and code
-
Resynchronizer Public
Tool for reordering await expressions in asynchronous JavaScript to increase concurrency; backend is a static side effect analysis
Python MIT License UpdatedMay 15, 2021 -
DStatic-error-tracking Public
QL re-implementation of Aspirator (OSDI 2014) static analysis for catch clause error tracking in Java distributed systems
-
kactus Public
Forked from kactus-io/kactus🌵 A true version control tool for designers
TypeScript MIT License UpdatedMar 31, 2020 -
TPMDb Public
Forked from parsiad/TPMDbTPMDb 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.
JavaScript UpdatedMar 10, 2020 -
SWDModel_QLTarget Public archive
Old version of SWDModel with some design flaws on purpose, as an exercise for QL queries for a course assignment
Java UpdatedNov 2, 2019 -
ql Public
Forked from github/codeqlThe standard QL libraries and queries that power LGTM.com and other Semmle Products
C# Apache License 2.0 UpdatedAug 6, 2019 -
dsPopSim Public
Forked from alangillGuelph/dsPopSimDrosophila suzukii population simulator
C++ BSD 3-Clause "New" or "Revised" License UpdatedDec 7, 2016 -
Groebner Public
code for undergrad thesis in groebner basis computations, using cra and hensel lifting (in maple)
TeX UpdatedMar 29, 2016 -
-
Umple Public
Forked from sanyaade-iot/UmpleModel-Oriented Programming; code generation for UML class diagrams and state machines
Java UpdatedSep 2, 2014 -
TurtleWalk Public
Self-avoiding walk simulations, represented via Python's Turtle Graphics
-
CODE2014 Public
Higher! App for the Canadian Open Data Experience hackathon 2014
PHP UpdatedMar 2, 2014 -
VectorSpace Public
Code to symbolically check vector space axioms for a given vector space class.
C++ UpdatedJan 15, 2014
{{ message }}