Beast code in Giters

Pickle Burger's repositories

Language:CNOASSERTION11 30

some notes at here

Language:Java020

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

000

🐣 A blog engine written and proven in Coq

Language:CoqMIT010

Some Code from my Grad School Courses

Language:Scheme020

Java for Rust

Language:RustApache-2.0000

ntype cafe summer school resources

Language:HTML000

This is a historical repository of Satoshi Nakamoto's original bitcoin sourcecode

Language:C++MIT020

A Scheme to x86-64 compiler in Scheme

Language:Scheme020

Solution to the Pigeonhole Principle exercise in Software Foundations, without excluded middle.

Language:Coq010

Where my everyday research happens

Language:AgdaGPL-3.0010

Learn how to design large scale systems. Prep for the system design interview.

Language:PythonNOASSERTION020

Theorem proving in Lean

Language:PythonApache-2.0010

用基于策略梯度得强化学习方法训练AI玩王者荣耀

Apache-2.0000

a compiler from a subset of Scheme into X64

Language:Scheme020