🌋
Highlights
Lists (32)
Sort Name ascending (A-Z)
AI/ML
27 repositories
aleo
1 repository
Blockchain
27 repositories
compiler
2 repositories
Cryptography
18 repositories
CTF
10 repositories
DevOps
2 repositories
Distributed
1 repository
elixir
2 repositories
essense
2 repositories
ETH
22 repositories
front
2 repositories
FV
2 repositories
GameFi
2 repositories
Golang
5 repositories
html
1 repository
Infosec
18 repositories
Learn it
40 repositories
NEAR
20 repositories
NEB
6 repositories
Openwallet
1 repository
P2P
11 repositories
python
3 repositories
Rust
14 repositories
Solana
6 repositories
Stack
27 repositories
ton
12 repositories
tsgql
1 repository
vim
6 repositories
VZ
4 repositories
zig
1 repository
ZKP
41 repositories
Stars
- All languages
- AsciiDoc
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Circom
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Elixir
- Erlang
- F#
- Go
- HCL
- HTML
- Haml
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenEdge ABL
- PLpgSQL
- Perl
- PlantUML
- Python
- R
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Swift
- TLA
- TeX
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
- Zig
2
stars
written in Lean
Clear filter
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course