bbaudry
"As long as the software runs, the party will never end" Lauren McCarthy
Université de MontréalMontreal, Canada
bbaudry's Stars
verificatum/verificatum-vmn
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
cryptpad/cryptpad
Collaborative office suite, end-to-end encrypted and open-source.
jenkinsci/jenkins
Jenkins automation server
rethread-studio/code-strata
Interactive journey into the strata of software execution
quicktheories/QuickTheories
Property based testing for Java 8
dspinellis/awesome-msr
A curated repository of software engineering repository mining data sets
kohsuke/jenkins
Jenkins Continuous Integration server
stephenc/jcip-annotations
A clean room implementation of the JCIP Annotations based entirely on the specification provided by the javadocs.
timed-c/ktc
KTH's Timed C compiler
magjac/d3-graphviz
Graphviz DOT rendering and animated transitions using D3
apache/commons-collections
Apache Commons Collections
qos-ch/slf4j
Simple Logging Facade for Java
frohoff/ysoserial
A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
wikimedia/mediawiki
🌻 The collaborative editing software that runs Wikipedia. Mirror from https://gerrit.wikimedia.org/g/mediawiki/core. See https://mediawiki.org/wiki/Developer_access for contributing.
apache/maven
Apache Maven core
KTH/devops-course
Repository of the DevOps course at KTH Royal Institute of Technology DD2482
aalhuz/navex
yourbasic/graph
Graph algorithms and data structures
curl/curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
unison-code/unison
Unison's source code
antlr/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
diverse-project/maven-miner
This projects mines maven central and creates a global dependency graph
erikbern/git-of-theseus
Analyze how a Git repo grows over time
ow2-proactive/programming
ProActive Programming library
GIScience/openrouteservice
🌍 The open source route planner api with plenty of features.
slimtoolkit/slim
Slim(toolkit): Don't change anything in your container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)
FasterXML/jackson-core
Core part of Jackson that defines Streaming API as well as basic shared abstractions
STAMP-project/descartes-github-app
GitHub application sources for Descartes
acaudwell/Gource
software version control visualization
cglib/cglib
cglib - Byte Code Generation Library is high level API to generate and transform Java byte code. It is used by AOP, testing, data access frameworks to generate dynamic proxy objects and intercept field access.