Formal Verification tool for Move on Sui

A symbolic testing tool for EVM smart contracts

Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

JavaScript syntax tree transformer, nondestructive pretty-printer, and automatic source map generator (fork of https://github.com/benjamn/recast v0.23.9 🙊).

kale backend

3D-printable hexagonal mirror array capable of reflecting sunlight into arbitrary patterns

Scalatest snapshot matchers 🍩

Serverless batch computing made simple.

The official Semantic-UI-React integration

Swift Static Analysis Framework

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

🔔 Say goodbye to forgotten TODOs in your code!

Syncs JIRA queries to apps like Omnifocus, Things and Reminders

K Semantics of the Ethereum Virtual Machine (EVM)

Apache OpenWhisk is an open source serverless cloud platform

Time management for your Mac

Time management for your Mac

WALA utility methods for Scala projects.

A Scala API for Cascading

Streaming MapReduce with Scalding and Storm

Lint, analyze, normalize, transform, sandbox, run, step through, and visualize user JavaScript, in node or the browser.

The K tools (deprecated, see README)

A delta debugger for JavaScript

WALA analyses and tools that are implemented in JavaScript

facade for using WALA from Scala

The tests for RacefixRefactoring

JDT/UI project repository (eclipse.jdt.ui)