|
Lean |
4 |
Many proofs of the Pythagoras theorem - Lean 4 |
Oct 18, 2023 |
|
None |
107 |
There are many libraries which helps your android development! |
May 06, 2023 |
|
JavaScript |
3 |
There are many Mern_project. |
Apr 09, 2023 |
|
TeX |
3 |
A collection of all the theorems, laws, and rules that I'll attempt to prove |
Nov 03, 2022 |
|
Python |
6 |
💟There are many interesting python examples. |
Apr 04, 2023 |
|
None |
2 |
There are many things no just programming. |
Aug 17, 2022 |
|
None |
8 |
There are many cheat sheets out there, but this is mine. |
Aug 14, 2022 |
|
Ruby |
3 |
There are many implementations of AJAX pagination out there. There is only 1 right way. … |
May 11, 2014 |
|
Makefile |
4 |
There are many OSes, this one is mine |
Apr 30, 2021 |
|
Swift |
2 |
There are many kinds of implementation for FizzBuzz! |
Mar 26, 2017 |
|
mcfunction |
2 |
How many bees are there in the beehive? |
Aug 05, 2021 |
|
JavaScript |
3 |
There are many boilerplates. This one is mine. |
Jul 31, 2022 |
|
JavaScript |
6 |
How many Starbucks are there near your position? |
Apr 27, 2023 |
|
None |
5 |
Also in iOS, there are many awesome libraries! |
Feb 23, 2023 |
|
Solidity |
28 |
EVM contracts that can prove storage slots of Ethereum Rollups using MPT Inclusion proofs |
Apr 14, 2023 |
|
Shell |
2 |
My dotfiles. There are many like them, but these are mine. |
Aug 26, 2015 |
|
None |
2 |
In this directory, there are many kinds of papers covering many fields. |
Sep 10, 2019 |
|
Vim Script |
2 |
These are my dotfiles, there are many like them but these are mine. |
Sep 13, 2022 |
|
Emacs Lisp |
2 |
These are my dotfiles. There are many like them, but these are mine. |
Jan 09, 2022 |
|
Shell |
12 |
These are my dotfiles. There are many like them, but these are mine. |
May 17, 2022 |
|
Shell |
13 |
These are my dotfiles. There are many like them, but these are mine. |
Apr 17, 2023 |
|
Shell |
5 |
These are my dotfiles. There are many like them, but these are mine. |
Mar 29, 2023 |
|
JavaScript |
2 |
How many Amazon Web Services are there right now? |
Nov 13, 2019 |
|
Python |
3 |
There are many projects here for beginners to practice. |
Apr 24, 2022 |
|
Python |
2 |
there are many interesting projects, for you to analyze |
Jul 30, 2022 |
|
C# |
30 |
InfinityGridLayoutGroup there are many in need scrolling substitute GridLayoutGroup |
Dec 26, 2022 |
|
JavaScript |
6 |
Clones DigiAsset Meta Data so there are many sources. |
Apr 24, 2022 |
|
Shell |
2 |
These are my dot-files. There are many like them, but these are mine. |
Mar 04, 2023 |
|
Shell |
3 |
dotfiles: These are my dotfiles. There are many like them, but these are mine. |
Mar 17, 2023 |
|
Lua |
11 |
âš« These are my dotfiles. There are many like it but these are mine. |
Apr 24, 2023 |
|
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 |