-
-
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I. Решения и трансцендентальный конспект-размышление.
Lean Apache License 2.0 UpdatedDec 30, 2025 -
-
-
-
fm2024 Public
Мой трансцендентальный и трансцендентный конспект-размышление ко к кук курсу по линю из иперского колледжа Лондонского.
Lean UpdatedDec 27, 2025 -
-
-
-
-
-
goosefarm Public template
Forked from leanprover-community/LeanProjectFormalization of goose farm algorithm. Just playing with the project template.
TeX Apache License 2.0 UpdatedDec 9, 2025 -
htpi Public
Working through the book "How to prove it". Using Lean 4
Lean The Unlicense UpdatedDec 7, 2025 -
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanЭто гол ёпта.
Lean Apache License 2.0 UpdatedDec 6, 2025 -
ctic Public
Forked from rkirov/category-theory-in-context-leanLean Companion to the Category Theory in Context textbook by Emily Riehl. Мои решения и трансцендентальный конспект-заметки.
Lean MIT License UpdatedNov 28, 2025 -
-
-
-
-
-
-
denegnet Public
If you keep messing around with this bullshit, you definitely won't have more money lol
Rust The Unlicense UpdatedOct 4, 2025 -
-
-
inspired-github.vim Public
Forked from mvpopuk/inspired-github.vimA Vim port of the Inspired GitHub color scheme for Sublime Text 3
Lua Apache License 2.0 UpdatedSep 12, 2025 -
-
jsonrpsee Public
Forked from paritytech/jsonrpseeRust JSON-RPC library on top of async/await
Rust MIT License UpdatedAug 16, 2025 -
samson Public
Working through Asynchronous Programming in Rust by Carl Frederik Samson
Rust The Unlicense UpdatedAug 4, 2025 -
mev-share-rs Public
Forked from paradigmxyz/mev-share-rsRust client library for Flashbots MEV-share
Rust Apache License 2.0 UpdatedJul 29, 2025 -
async-sse Public
Forked from http-rs/async-sseAsync Server Sent Events parser and encoder
Rust Apache License 2.0 UpdatedJul 28, 2025
{{ message }}