ssghost

aderyn

Aderyn 🦜 Rust-based Solidity AST analyzer.

murky

Merkle Proof Generator and Validator in Solidity

dsa-connectors

DSA Connectors

safe-modules

A collection of modules that can be used with the Safe contract

libkrun

A dynamic library providing Virtualization-based process isolation capabilities

mergoo

A library for easily merging multiple LLM experts, and efficiently train the merged LLM.

mergekit

Tools for merging pretrained large language models.

TarotDB

LLM-Merging

LLM-Merging: Building LLMs Efficiently through Merging

kjunior

K Junior is an MIT licensed open source array language written by Arthur Whitney.

ordit-sdk

Ordit is an SDK project for Bitcoin Wallet, Ordinals and Inscriptions

enkiTS

A permissively licensed C and C++ Task Scheduler for creating parallel programs. Requires C++11 support.

optuna

A hyperparameter optimization framework

Examples

An index repository with submodules for different examples of Certora projects

optunahub-registry

A registry of third-party Optuna packages

yolov10

YOLOv10: Real-Time End-to-End Object Detection

llama-fs

A self-organizing file system with llama 3

GasliteDrop

Hyper Efficient Airdrops. Gas Bad.

foundry-zksync

Fork of Foundry tailored for zkSync environment

hardhat-zksync

multiproof

Generating Inputs for OZ's Multiproof

IntervalBoxes.jl

Multi-dimensional interval boxes in Julia

HVM

A massively parallel, optimal functional runtime in Rust

alephium-web3

A JS/TS library for building dapps on Alephium

statedict2pytree

ssghost

mining-pool

ollama-js

Ollama JavaScript library

structmem

PixArt-alpha

PixArt-α: Fast Training of Diffusion Transformer for Photorealistic Text-to-Image Synthesis