AlphaZero in JAX

The boardgame Hive, written in Rust

Experiment for the paper "On the Algebraic Properties of Flame Graphs" https://arxiv.org/abs/2301.08941

List of research around modern boardgames.

Free React Typescript Admin Dashboard Template built with Material-UI

D3.js + React

Notus Svelte: Free Tailwind CSS UI Kit and Admin

Fly

A safe, easy systems language

Build a Firecracker microVM from a container image

The CodeBench agent, to run workloads inside microVMs

Efficient and minimal collaborative code editor, self-hosted, no database required

Simple zero-knowledge Sudoku with SnarkyJS

In-EVM Mina State Verification

CG shader for unity3D to create a cross section through meshes

Pyjion - A JIT for Python based upon CoreCLR

Analysis of various tricky Rust code

🚀 A very efficient Texas Holdem GTO solver ♠️♥️♣️♦️

KrabsETW provides a modern C++ wrapper and a .NET wrapper around the low-level ETW trace consumption functions.

Intermediate Language (IL) for Hardware Accelerator Generators

Argument parsing for the future 🚀

A compact map stored as a vector of key, value pairs.

Allows Rust code to log events to ETW

A cron expression parser in Rust

Call Tree Overviewer

The Classic Game of Snake. This time with Bezier Curves

TypeScript framework for zk-SNARKs and zkApps

CLI to create a zkApp (zero-knowledge app) for Mina Protocol

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.