|
|
Jupyter Notebook |
77 |
Stuff for educational purposes, mainly machine learning, Python and statistics |
Sep 03, 2022 |
|
|
Lean |
4 |
Formalization of formal grammars in Lean |
Mar 11, 2023 |
|
|
Lean |
2 |
Formalization of some temporal logics in Lean |
Apr 05, 2021 |
|
|
HCL |
2 |
For educational purposes. |
Sep 06, 2022 |
|
|
Python |
9 |
for educational purposes only |
May 17, 2022 |
|
|
C# |
2 |
Made for educational Purposes |
May 31, 2022 |
|
|
Java |
17 |
For educational purposes only |
Apr 08, 2022 |
|
|
C# |
5 |
For Educational Purposes Only |
Feb 14, 2023 |
|
|
None |
2 |
ONLY FOR EDUCATIONAL PURPOSES. |
Jul 10, 2021 |
|
|
Python |
2 |
FOR EDUCATIONAL PURPOSES ONLY |
Feb 10, 2023 |
|
|
Shell |
4 |
Educational purposes only. |
May 11, 2022 |
|
|
Python |
2 |
educational purposes only |
May 09, 2022 |
|
|
Jupyter Notebook |
2 |
educational purposes only |
Apr 21, 2023 |
|
|
Python |
4 |
Educational Purposes Only |
Apr 23, 2023 |
|
|
None |
2 |
Educational purposes only |
Jan 18, 2023 |
|
|
Lean |
9 |
This may become a formalization of smooth manifolds in lean |
Jun 23, 2020 |
|
|
Lean |
3 |
A lean 4 formalization of stuff I learned in uni. |
Oct 23, 2021 |
|
|
Solidity |
5 |
DeFi exploits for educational purposes |
Aug 08, 2022 |
|
|
JavaScript |
3 |
Use it for educational purposes |
Nov 25, 2021 |
|
|
Java |
2 |
Java games for educational purposes. |
Nov 29, 2020 |
|
|
HTML |
50 |
Shiny apps for educational purposes. |
Dec 14, 2022 |
|
|
JavaScript |
2 |
Tiny parsers for educational purposes |
Apr 21, 2019 |
|
|
Objective-C |
24 |
NSAutoreleasePool workalike for educational purposes |
Sep 06, 2022 |
|
|
Java |
17 |
E-shop for educational purposes |
May 27, 2023 |
|
|
TypeScript |
2 |
Node - React (Next.js) app in TypeScript with microservices infrastructure manage in kubernetes. Mainly educational … |
Apr 15, 2022 |
|
|
Lean |
7 |
Formalization of proofs from Analysis I in the Coq and Lean. |
Nov 14, 2021 |
|
|
Lean |
4 |
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many … |
May 27, 2022 |
|
|
Lean |
4 |
None |
Dec 15, 2021 |
|
|
Lean |
4 |
Tutorial to use Lean for theorem proving |
Apr 21, 2022 |
|
|
Lean |
4 |
Implementation of different type theories in Lean4 |
Jun 04, 2022 |
|
|
Lean |
4 |
Condensed mathematics in Lean |
Aug 15, 2021 |
|
|
Lean |
4 |
Some advanced undergrad group theory in Lean |
May 16, 2021 |
|
|
Lean |
4 |
Lean notes for Imperial course P11 : Galois Theory |
May 16, 2021 |
|
|
Lean |
4 |
lean proofs of math135 |
May 26, 2021 |
|
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |
|
|
Lean |
4 |
C0 specification and verified compiler in Lean |
Jun 26, 2022 |
|
|
Lean |
4 |
None |
May 29, 2022 |
|
|
Lean |
5 |
Group Cohomology |
Dec 01, 2020 |
|
|
Lean |
5 |
Ellen's dots and boxes project |
Dec 30, 2020 |
|
|
Lean |
5 |
M1F 2018-19 example sheets in Lean |
Jul 14, 2021 |
|
|
Lean |
5 |
Supplemental material for the "Beyond Notations" paper |
Nov 25, 2021 |
|
|
Lean |
5 |
Implementation of Gowers & Ganesalingam theorem prover in Lean |
Dec 20, 2021 |
|
|
Lean |
6 |
None |
Feb 23, 2022 |
|
|
Lean |
6 |
My Solutions using Lean 4 for the 2021 edition of the Advent of Code |
Apr 29, 2022 |
|
|
Lean |
6 |
Solving Diophantine equations in Lean |
Jul 26, 2022 |
|
|
Lean |
6 |
Stub for downloading mathport artifacts for mathlib3 |
Jul 27, 2022 |
|
|
Lean |
6 |
www |
Mar 04, 2022 |
|
|
Lean |
6 |
Interface to SMT2 solvers |
Mar 17, 2022 |
|
|
Lean |
6 |
Lean formalizations of things loosely related to homological algebra |
Mar 21, 2022 |
|
|
Lean |
7 |
Lecture notes, exercises, homeworks for Brown CS1951x 2021 |
Dec 01, 2021 |