OpenCore disk image for running macOS VMs on Proxmox/QEMU
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
The fastest RISC-V sandbox
Package manager for the Erlang ecosystem
Turn everyday devices into your own AI cluster
The official Rust implementation of Conflux protocol
Trainable models and NN optimization tools
Amazon CodeGuru Profiler Python Agent
The quadplay fantasy console
Gravity Programming Language
A BSD-based OS project that aims to provide an experience with MacOS
Qiling Advanced Binary Emulation Framework
CasADi is a symbolic framework for numeric optimization
Haskell to VHDL/Verilog/SystemVerilog compiler
Jupyter's kernel for Elixir programming language
Operating System for Enterprise Blockchain
An open source Vagrant configuration for developing with WordPress
Enabling Windows Subsystem for Linux to include support for Wayland
Solidity Compiler for Solana, Polkadot and Stellar
Blockchain explorer for Ethereum based network
The Smart Contract Programming Language
Native JVM WebAssembly runtime
The Lux Programming Language
Benchmarking synthetic data generation methods
The "Yellow Paper": Ethereum's formal specification