DvonHolten's Stars
streamich/react-use
React Hooks — 👍
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
kenjihiranabe/The-Art-of-Linear-Algebra
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
cp-algorithms/cp-algorithms
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
liquibase/liquibase
Main Liquibase Source
mozilla/rhino
Rhino is an open-source implementation of JavaScript written entirely in Java
soot-oss/soot
Soot - A Java optimization framework
zalando/restful-api-guidelines
A model set of guidelines for RESTful APIs and Events, created by Zalando
eclipse/eclipse-collections
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
IntelLabs/control-flag
A system to flag anomalous source code expressions by learning typical expressions from training data
typetools/checker-framework
Pluggable type-checking for Java
google/kmsan
KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
smarr/are-we-fast-yet
Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
codespecs/daikon
Dynamic detection of likely invariants
epi052/feroxfuzz
A structure-aware HTTP fuzzing library
glazedlists/glazedlists
Open Source List Transformations for Java
hydro-project/katara
Synthesize CRDTs from classic data types with verified lifting!
tingsu/Stoat
Stoat (STochastic model App Tester) - an automatic testing tool for android apps
classabbyamp/espresso-logic
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
eclipse/gef
Eclipse GEF™
chuffed/chuffed
The Chuffed CP solver
meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Rog3rSm1th/kharma
Grammar-based fuzzing corpus generator
genieacs/espresso-iisojs
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
vale1410/bule
The SAT and QBF Programming Language Bule
adrianopolus/probSAT
The probSAT SAT Solver
lpcp-contest/lpcp-contest-2021
minova-afis/aero.minova.rcp
Der Standard RCP Fatclient von MINOVA Abrechnung={MIN/Intern-MIN/CORE/ZPROGRAM}
d-kfmnn/teluma
Dual variables in AMulet2
albertattard/presentation-java-versions-a-migration-strategy
Presentation - Java versions - a migration strategy