Stars
Minimal reproduction of DeepSeek R1-Zero
ALIEN is a CUDA-powered artificial life simulation program.
free and open source voxel art tools - editor, thumbnailer and format converter
Bringing off-chain compute workloads to on-chain smart contracts.
A Solidity library for interacting with fhevm.
Next Generation Visual Programming System
Actor-based state management & orchestration for complex app logic.
Multiphysics Object Oriented Simulation Environment
Ancillary open source software to support confidential computing on NVIDIA GPUs
Public development project of the LAMMPS MD software package
pyiron - an integrated development environment (IDE) for computational materials science.
Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
Minecraft Clone in Apple Vision Pro built with VisionOS SDK
To bring zero knowledge privacy primitives to all web3 developers.
A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with untrusted hardware acceleration
lightweight composable proxy made for chatgpt plugins
Old, obsolete version of the Valida compiler; its replacement will become public later
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
DEPRECATED in favor of https://github.com/madara-alliance/madara
[FORKED] RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.