|
|
None |
6 |
Mathematical foundations of automata theory |
Feb 08, 2022 |
|
|
TeX |
22 |
A textbook on cubical type theory |
Oct 18, 2022 |
|
|
TeX |
3 |
A textbook on informal homotopy type theory |
Apr 13, 2022 |
|
|
TeX |
31 |
Tim Button's open textbook on set theory |
Mar 13, 2023 |
|
|
Ruby |
33 |
A textbook on Einstein's theory of general relativity. |
Jun 08, 2022 |
|
|
Jupyter Notebook |
631 |
The textbook Computational and Inferential Thinking: The Foundations of Data Science |
Oct 16, 2022 |
|
|
SAS |
3 |
Public Files for the Foundations of Data Science with Python textbook |
May 01, 2023 |
|
|
Coq |
56 |
A formalization of the textbook Elements of Set Theory |
Oct 18, 2022 |
|
|
TeX |
6 |
Notes for the lecture course “Foundations in Representation Theory”. |
Jun 17, 2022 |
|
|
Matlab |
3 |
Teaching myself game theory |
Apr 06, 2023 |
|
|
None |
263 |
Game Theory Cheat Sheet |
Apr 30, 2023 |
|
|
TeX |
225 |
Reinforcement learning theory book about foundations of deep RL algorithms with proofs. |
May 24, 2023 |
|
|
None |
13 |
Solutions to some exercises of Douglas R. Stinson's textbook Cryptograph Theory and Practicce |
Sep 27, 2022 |
|
|
TeX |
9 |
game theory, 2 course, hse |
Apr 17, 2022 |
|
|
Jupyter Notebook |
48 |
Playable quantum game theory games |
Jun 20, 2022 |
|
|
TeX |
5 |
A textbook for Professor Edward Glaeser's ECON 1011A: Microeconomic Theory - Advanced, course at Harvard. |
Oct 10, 2021 |
|
|
SCSS |
4 |
My Mathematics Journal. Almost all problems are from MSE, Textbook, & my Notebook, range from … |
Mar 01, 2023 |
|
|
Python |
4 |
What if your economics textbook was a roguelike game? |
Apr 25, 2018 |
|
|
HTML |
2 |
An offline capable Electron App for the textbook "Music Theory for the 21st-Century Classroom." |
Feb 22, 2023 |
|
|
Jupyter Notebook |
6 |
A collection of game theory notebooks |
Sep 21, 2021 |
|
|
Jupyter Notebook |
2 |
Master's Thesis Mathematics - Evolutionary Game Theory |
Apr 24, 2022 |
|
|
Python |
2 |
Machine Learning Algorithm for Game Theory |
Jan 27, 2023 |
|
|
C++ |
3 |
Min-max algorithm for game theory |
Jan 10, 2023 |
|
|
None |
7 |
An assessment based on Game Theory. |
Apr 27, 2023 |
|
|
NetLogo |
2 |
MSc Course on Evolutionary Game Theory |
Mar 04, 2021 |
|
|
Jupyter Notebook |
6 |
Game Theory Algorithms and their implementations |
Aug 31, 2023 |
|
|
Jupyter Notebook |
2 |
Some tests with evolutionary game theory |
Jun 26, 2023 |
|
|
C++ |
17 |
POC/WIP Rest server for the game X4:Foundations |
Apr 21, 2023 |
|
|
C# |
4 |
Calculator for planning stations build in X4: Foundations game |
Feb 20, 2023 |
|
|
C# |
5 |
Native library foundations for game dev using .NET 7 |
May 27, 2023 |
|
|
Nix |
3 |
Auto packaging for Talon Voice [maintainer=@adisbladis] |
Sep 30, 2022 |
|
|
Nix |
4 |
Documentation and examples for using Python on Nix |
Jan 19, 2022 |
|
|
Nix |
4 |
None |
May 16, 2022 |
|
|
Nix |
4 |
FnCtl is our opinionated NixOS config(s). |
May 24, 2022 |
|
|
Nix |
4 |
ZilchOS Core, a decidedly tiny Nix-based distro to play with |
May 30, 2022 |
|
|
Nix |
4 |
An opinionated terranix openstack module |
Jun 09, 2022 |
|
|
Nix |
4 |
Build an application with Nix and deploy it on Fly.io |
May 02, 2022 |
|
|
Nix |
4 |
🎭 API |
Mar 08, 2022 |
|
|
Nix |
4 |
nix flakes for tezos |
May 10, 2022 |
|
|
Nix |
4 |
None |
Jun 11, 2022 |
|
|
Nix |
4 |
Erasing my darlings since 2021 |
Mar 31, 2022 |
|
|
Nix |
4 |
Load in nix repl to create variables from your NixOS configuration |
Apr 16, 2022 |
|
|
Nix |
4 |
coverage driven random testing framework |
Jul 02, 2022 |
|
|
Nix |
4 |
RPC Proxy that uses MSW that allows to override RPC / REST / GraphQL calls … |
Jul 01, 2022 |
|
|
Nix |
4 |
Endo for Elm |
Jun 10, 2022 |
|
|
Nix |
4 |
An empty boilerplate template to start a fresh project |
Jul 29, 2022 |
|
|
Nix |
4 |
Hacks to make nix module system-based services runnable on non-NixOS systems |
Aug 25, 2016 |
|
|
Nix |
4 |
A bydirectional proxy between the Shelly and Byron versions of the Cardano network |
Apr 27, 2021 |
|
|
Nix |
4 |
skeleton project for cardano |
Feb 16, 2022 |
|
|
Nix |
4 |
Plutus Pioneers Helper Scripts |
Mar 04, 2022 |