-
-
-
-
-
-
typst.vim Public
Forked from kaarmu/typst.vimdoesn't shit next to source
Vim Script MIT License UpdatedNov 5, 2025 -
-
-
-
-
-
-
-
-
-
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedOct 8, 2025 -
-
-
-
cargo-sort-derives Public
Forked from lusingander/cargo-sort-derivesCargo subcommand to sort derive attributes 📦
Rust MIT License UpdatedApr 5, 2025 -
-
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML UpdatedMar 18, 2025 -
-
-
-
bourso-api Public
Forked from azerpas/bourso-apiBoursorama / BoursoBank unofficial API and CLI
Rust MIT License UpdatedDec 16, 2024 -
go-warn-unused Public
Forked from golang/gogopher can complain but he must not interfere
-
bad-apple-rs Public
Forked from lomirus/bad-apple-rs🍎 Play Bad Apple!! in Terminal [Rust Version] Cross-Term, Binary-Compress, 128*48 & 24 FPS.
Rust MIT License UpdatedNov 30, 2024 -
-
{{ message }}