Repositories list

• graal

  Public
  GraalVM: Run Programs Faster Anywhere 🚀

  Java

  •

  Other

  •1.7k•3•0•0•Updated Feb 21, 2025Feb 21, 2025

• veriopt-releases

  Public
  Verifying the optimization phases of the GraalVM compiler

  verificationcompilersgraalvm+ 1isabelle

  Isabelle

  •1•11•0•0•Updated Jan 13, 2025Jan 13, 2025

• AFLChurnPlusPlus

  Public
  C

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

• VeriSmart

  Public
  Machine-checked formal verification of smart contracts for various blockchains.

  F*

  •0•1•0•0•Updated Oct 4, 2023Oct 4, 2023

• NodeJSFuzzing

  Public
  A project to compare the performance of various fuzzers against 5 Node.js applications.

  JavaScript

  •

  Universal Permissive License v1.0

  •1•2•2•0•Updated Dec 1, 2021Dec 1, 2021

• Protean

  Public
  A versatile platform for threat intelligence comprised of testing and combining multiple open source threat intelligence tools

  Python

  •

  Universal Permissive License v1.0

  •0•5•0•0•Updated Feb 24, 2021Feb 24, 2021

• WhileyTruffle

  Public
  Implementing the Whiley programming language using GraalVM and Truffle

  Apache License 2.0

  •0•0•0•0•Updated Feb 18, 2021Feb 18, 2021

• ColdPress

  Public
  Extensible Platform for Malware Analysis

  Python

  •

  Universal Permissive License v1.0

  •5•18•0•0•Updated Jan 14, 2021Jan 14, 2021