hargoniX
Follow
-
-
-
-
-
fil-rb Public
A Red-Black-Tree Formalisation for LMU's Formalisation in Lean 2024
Lean GNU General Public License v2.0 UpdatedDec 17, 2024 -
-
wg Public
Forked from rust-embedded/wgCoordination repository of the embedded devices Working Group
UpdatedJul 31, 2024 -
lehmer-rs Public
An implementation of Lehmer RNGs for a university project.
Rust MIT License UpdatedJul 21, 2024 -
parse.lean-bench Public
Forked from algebraic-dev/parse-benchBenchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding
Lean UpdatedJul 18, 2024 -
-
Cpa.lean Public
An implementation of Configurable Program Analysis in Lean for a university project
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedApr 13, 2024 -
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedFeb 17, 2024 -
lean4-alloy Public
Forked from tydeu/lean4-alloyWrite C shims from within Lean code.
Lean Apache License 2.0 UpdatedFeb 15, 2024 -
LeanInk Public
Forked from leanprover/LeanInkLeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
-
-
pfmt Public
A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
-
crup Public
A Checker for RUP proofs written in Lean 4
-
rustl4re Public
Forked from humenda/rustl4reThis repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream projects.
2 UpdatedNov 15, 2023 -
lean.nvim Public
Forked from Julian/lean.nvimneovim support for the Lean theorem prover
Lua MIT License UpdatedNov 6, 2023 -
typst-bytefield Public
Forked from jomaway/typst-bytefieldbytefield package for typst
Typst MIT License UpdatedOct 26, 2023 -
-
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 18, 2023 -
keepassxc-proxy-client Public
A client for keepassxc-proxy so passwords can easily be requested via CLI
-
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedAug 23, 2023 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJun 13, 2023 -