Links to works on deep learning algorithms for physics problems, TUM-I15 and beyond

Interactive formal verification tool for Yul programs

Fully Homomorphic Encryption library in Rust

⚡️Curated list of resources for the development and applications of blockchain.

Marvel Snap simulator using Rust with some reinforcement learning

A decision transformer model for chess

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

Deploy with Nix and manage resources declaratively

Official repository of Evolutionary Optimization of Model Merging Recipes

Make PyTorch models up to 40% faster! Thunder is a source to source compiler for PyTorch. It enables using different hardware executors at once; across one or thousands of GPUs.

Go bindings for Godot 4.3 GDExtension API

Zuzalu Passport

An open-source, up-to-date toolkit for building decentralized applications (dapps) on Starknet. Move from prototyping to production-grade apps seamlessly.

Reference implementation for the book "Writing a RISC-V Emulator in Rust".

Include halo2 example circuits

The paper list of the 86-page paper "The Rise and Potential of Large Language Model Based Agents: A Survey" by Zhiheng Xi et al.

Private & local AI personal knowledge management app.

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Another awesome starter for your app base on nextjs + tailwind + react-query + zod + react-hook-form + next-auth + jotai

Turn any face into a video game character, pixel art, claymation, 3D or toy

The Rust Implementation of the libp2p networking stack.

A collection of advanced CSS styles to create realistic-looking effects for the faces of Pokemon cards.

☣️ A framework for building safer memecoins 💸

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.

Learn System Design concepts and prepare for interviews using free resources.

Cross-chain lending with CCIP

A Pokemon like game created using Phaser 3