pickleburger
Follow
-
j4rs Public
Forked from astonbitecode/j4rsJava for Rust
Rust Apache License 2.0 UpdatedMay 13, 2024 -
ntype-cafe-summer-school Public
Forked from Infinity-Type-Cafe/ntype-cafe-summer-schoolntype cafe summer school resources
HTML UpdatedApr 21, 2024 -
Book-Mathmatical-Foundation-of-Reinforcement-Learning Public
Forked from MathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-LearningThis is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
UpdatedJan 9, 2024 -
theorem_proving_in_lean Public
Forked from leanprover/theorem_proving_in_leanTheorem proving in Lean
Python Apache License 2.0 UpdatedJun 13, 2023 -
WZCQ Public
Forked from FengQuanLi/WZCQ用基于策略梯度得强化学习方法训练AI玩王者荣耀
Python Apache License 2.0 UpdatedNov 16, 2021 -
potpourri Public
Forked from gallais/potpourriWhere my everyday research happens
Agda GNU General Public License v3.0 UpdatedOct 6, 2020 -
coq-chick-blog Public
Forked from clarus/coq-chick-blog🐣 A blog engine written and proven in Coq
Coq MIT License UpdatedDec 1, 2019 -
Pigeonhole-Principle Public
Forked from llbit/Pigeonhole-PrincipleSolution to the Pigeonhole Principle exercise in Software Foundations, without excluded middle.
Coq UpdatedSep 17, 2019 -
system-design-primer Public
Forked from donnemartin/system-design-primerLearn how to design large scale systems. Prep for the system design interview.
Python Other UpdatedMar 12, 2017 -
-
advanced-series Public
Forked from benhakunamatata/advanced-seriessome notes at here
Java UpdatedJan 18, 2016 -
yscheme Public
Forked from tiancaiamao/yschemea compiler from a subset of Scheme into X64
Scheme UpdatedOct 11, 2015 -
p423-compiler Public
Forked from keyz/p423-compilerA Scheme to x86-64 compiler in Scheme
Scheme UpdatedMay 4, 2015 -
original-bitcoin Public
Forked from trottier/original-bitcoinThis is a historical repository of Satoshi Nakamoto's original bitcoin sourcecode
C++ MIT License UpdatedApr 4, 2013 -
Grad-School-Code Public
Forked from zhengguan/Grad-School-CodeSome Code from my Grad School Courses
Scheme UpdatedJan 8, 2012