Pinned Repositories
cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
dotfiles
My dotfiles, managed with dotdrop
Flame
keepassxc-proxy-client
A client for keepassxc-proxy so passwords can easily be requested via CLI
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/Flame
hargoniX/nest-core
hargoniX/pfmt
A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
hargoniX/dotfiles
My dotfiles, managed with dotdrop
hargoniX/crup
A Checker for RUP proofs written in Lean 4
hargoniX/nest-slimcheck
hargoniX/nest-unit
hargoniX/hargoniX.github.io
Build a Jekyll blog in minutes, without touching the command line.
hargoniX/lean-cube
Theories in Lean for various calculi from the lambda cube.
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/lean4
Lean 4 programming language and theorem prover
hargoniX/bachelor
My Bachelor Thesis
hargoniX/CMark.lean
hargoniX/Decision
A formalisation of https://www.decision-procedures.org/
hargoniX/Functional-Benchmarks
Collection of benchmarks of functional programming languages and proof assistants.
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/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
hargoniX/lean4-entemology
Where we collect lean4 bugs
hargoniX/lean4-mode
Emacs major mode for Lean 4
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/mathlib4
Work in progress mathlib port for lean 4
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/Unicode.lean
Unicode stuff for Lean 4! ✌️