DvonHolten

DvonHolten's Stars

• EbookFoundation/free-programming-books

  :books: Freely available programming books

  329k9.8k1.1k60.8k

• fontforge/fontforge

  Free (libre) font editor for Windows, Mac OS X and GNU+Linux

  Language:C6.2k1593.1k687

• javaparser/javaparser

  Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

  Language:Java5.3k1442.3k1.1k

• spotbugs/spotbugs

  SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

  Language:Java3.4k781.2k583

• apache/pdfbox

  Mirror of Apache PDFBox

  Language:Java2.5k950839

• airbus-seclab/bincat

  Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

  Language:OCaml1.6k77119163

• rjust/defects4j

  A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

  Language:Perl69020375296

• JetBrains/java-annotations

  Annotations for JVM-based languages.

  Language:Java395306946

• openjdk/nashorn

  https://openjdk.org/projects/nashorn

  Language:Java38523036

• pysathq/pysat

  A toolkit for SAT-based prototyping in Python

  Language:Python3821913269

• riscv-non-isa/rvv-intrinsic-doc

  Language:C2775518987

• eclipse-aspectj/aspectj

  Language:Java2741313482

• apache/xmlgraphics-batik

  Apache XML Graphics Batik

  Language:Java208230140

• apache/xmlgraphics-fop

  Apache XML Graphics FOP

  Language:Java172280128

• diy1/aspirator

  A simple tool that finds serious bugs in Java exception handler

  Language:Java1228111

• performancecopilot/parfait

  A Java performance monitoring library, exposing and collecting metrics through a variety of outputs

  Language:Java86164132

• ada-lang-io/ada-lang-io

  An Open Source Community site for Ada

  Language:TypeScript8394912

• audemard/glucose

  The glucose SAT solver

  Language:C++612012

• shao-hua-li/UBGen

  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)

  Language:C53215

• loonwerks/jkind

  JKind - An infinite-state model checker for safety properties in Lustre

  Language:Java51124732

• symflower/symflower

  Symflower is a Java unit test generation tool for IntelliJ IDEA, Visual Studio Code, Android Studio, and CLI. Use it to write and maintain test code with ease. This repository is for providing community support.

  225291

• dynexcoin/Dynex-Neuromorphic-Chip

  Dynex has also developed a proprietary circuit design, the Dynex Neuromorphic Chip, that complements the Dynex ecosystem and turns any modern G into a neuromorphic computing chip by simulating its equations of motion. This implementation proofs the mathematical model.

  Language:C++14608

• socratica/wolfram

  Notebooks, examples, data, and puzzles to help people learn Mathematica & the Wolfram Language

  Language:Mathematica13002

• apache/xmlgraphics-fop-pdf-images

  Apache XML Graphics FOP PDF Images

  Language:Java12906

• joewhaley/joeq

  Language:Java10302

• charlie5/lace

  A set of Ada components to allow 3D simulations, games and GUI's in Ada.

  Language:Ada7200

• jduck/csw-slides-2024

  Slides for Developing Secure Software in 2024 at CanSecWest

  Language:JavaScript3

• khalil-research/Matrix-Mult-CP

  Language:Shell3301

• gowthamk/JChord

  Open source JChord framework

  Language:Java22

• nilshartmann/jughh-spa-oder-htmx-backend

  Demo Application for my Talk "Single-Page-Application oder HTMX"

  Language:Java2200