Pinned Repositories
cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
dotfiles
My dotfiles, managed with dotdrop
keepassxc-proxy-client
A client for keepassxc-proxy so passwords can easily be requested via CLI
Leanwuzla
Connecting Bitwuzla to LeanSAT
socket.lean
sockets for Lean 4
doc-gen4
Document Generator for Lean 4
lean4
Lean 4 programming language and theorem prover
leansat
This package provides an interface and foundation for verified SAT reasoning
probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
stm32h7xx-hal
Peripheral access API for STM32H7 series microcontrollers
hargoniX's Repositories
hargoniX/keepassxc-proxy-client
A client for keepassxc-proxy so passwords can easily be requested via CLI
hargoniX/socket.lean
sockets for Lean 4
hargoniX/Leanwuzla
Connecting Bitwuzla to LeanSAT
hargoniX/Flame
hargoniX/pfmt
A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
hargoniX/nest-core
hargoniX/crup
A Checker for RUP proofs written in Lean 4
hargoniX/dotfiles
My dotfiles, managed with dotdrop
hargoniX/nest-unit
hargoniX/nest-slimcheck
hargoniX/rustl4re
This 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.
hargoniX/Cpa.lean
An implementation of Configurable Program Analysis in Lean for a university project
hargoniX/hargoniX.github.io
Build a Jekyll blog in minutes, without touching the command line.
hargoniX/SlimCheck
A temporary home for slimcheck
hargoniX/lean4
Lean 4 programming language and theorem prover
hargoniX/lehmer-rs
An implementation of Lehmer RNGs for a university project.
hargoniX/bachelor
My Bachelor Thesis
hargoniX/CMark.lean
hargoniX/fil-rb
A Red-Black-Tree Formalisation for LMU's Formalisation in Lean 2024
hargoniX/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
hargoniX/lean.nvim
neovim support for the Lean theorem prover
hargoniX/lean4-alloy
Write C shims from within Lean code.
hargoniX/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
hargoniX/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
hargoniX/LeanTogether24BVDecide
hargoniX/parse.lean-bench
Benchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding
hargoniX/rust
Empowering everyone to build reliable and efficient software.
hargoniX/std4
Standard Library for Lean 4
hargoniX/typst-bytefield
bytefield package for typst
hargoniX/wg
Coordination repository of the embedded devices Working Group