monperrus/roundingsat

Stars
2
Language
C++
License
Other
Created over 5 years ago
Updated over 1 year ago

monperrus/roundingsat

monperrus

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

crawler-user-agents

Syntactic patterns of HTTP user-agents used by bots / robots / crawlers / scrapers / spiders. pull-request welcome ⭐

ExpandAnimations

LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.

bibtexbrowser

Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)

jskomment

open source AJAX commenting system

jexast

Enables the extraction of Java AST nodes with plain JDT

misc

alloy-quick-reference

A helper document about the Alloy specification language

apache-svn-commits

1,7 million commits of the main Apache SVN repository. Searchable thanks to Github.

content-assist-example

an example code completion system for Eclipse

bots.yml

Specification of bots.yml for software bots

Asus-NovaGo-TP370QL

Debug information about Asus-NovaGo-TP370QL

git-api-diff

Computes Git diff at the API level (new methods, modified methods, etc)

pascal3g

ANTLR v3 grammar for Pascal

travis-metronome

A piece of software art

litjava

A literate programming tool in Java for Java

dl-gdocs

Downloads and backups Google Documents (texts, spreadsheets, presentations)

real-bug-fixes-icse-2015

Open-science repository for the bug fix commit dataset of "An Empirical Study on Real Bug Fixes" (ICSE 2015).

academia.json

Metadata about academic publications in JSON. Pull-requests welcome.

travis-metronome-tok

The counter-weight of https://github.com/monperrus/travis-metronome

typeusage

extracts type-usages from Java bytecode or source code using Soot

gakoci

Self-hosted continuous integration server for Github, based on webhooks

fun-with-travis

Fun experiments with travis

kyss

btc-supply-chain

Database of SHA256 of software packages for the Bitcoin software supply chain

one-million-branches

wp-publications

Repository of the wordpress plugin wp-publications (pull requests welcome :)

dataset-diff-gumtree

Dataset of diff files used in "Fine-grained and Accurate Source Code Differencing"

exgen

copy from public artefact https://drive.google.com/file/d/10unHPpARh9FBrVIyarkiSVMKSd3qfGV5/view

bug-fixes-saner16

Extraction of the 34836 diffs of https://github.com/xuanbachle/data-bugfixes/blob/master/all.zip

airport-by-foot

Instructions on the feasibility and pleasantness of reaching airports by foot ✈✈✈✈✈

rugrat

Fork of the RUGRAT Random Program Generator (aka Carfast)