Pinned Repositories
tip-toi-reveng
Trying to understand the file format of Tip Toi
arbtt
arbtt, the automatic rule-based time-tracker
ghc-justdoit
A magic typeclass that just does it
ghc-proofs
Let GHC prove program equations for you
gtk-vector-screenshot
incredible
The Incredible Proof Machine
inspection-testing
Inspection Testing for Haskell
loogle
Mathlib search tool
screen-message
Very simple tool to display some text as large as possible
udp-broadcast-relay
Small daemon to relay udp broadcast packages on a different subnet.
nomeata's Repositories
nomeata/incredible
The Incredible Proof Machine
nomeata/arbtt
arbtt, the automatic rule-based time-tracker
nomeata/inspection-testing
Inspection Testing for Haskell
nomeata/screen-message
Very simple tool to display some text as large as possible
nomeata/ghc-heap-view
Extract the heap representation of Haskell values and thunks
nomeata/loogle
Mathlib search tool
nomeata/cabal-plan-bounds
Calculate Haskell dependency ranges from multiple build plans
nomeata/haskell-bounds-bump-action
Create PR to bump Haskell dependency bounds
nomeata/lean-wf-induct
nomeata/haskell-via-sokoban
A haskell tutorial using CodeWorld
nomeata/lean-calcify
nomeata/haskell-candid
A candid library for Haskell
nomeata/badminton-junkies
Badminton Junkies e.V. site
nomeata/lean-stage0-audit
nomeata/lean-trie
nomeata/lean4-memo-nat
nomeata/lean-darray
nomeata/lean-simplc
Experimental local confluence checker for Lean simp lemmas
nomeata/lean4-pr-releases
Automated releases from leanprover/lean4 PRs
nomeata/nixpkgs
Nix Packages collection
nomeata/aesop
White-box automation for Lean 4
nomeata/batteries
Standard Library for Lean 4
nomeata/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
nomeata/colibri-funcup-2024
nomeata/lean4
Lean 4 programming language and theorem prover
nomeata/lean4-ci-test
A copy of the lean4 repository to test changes to the repository and CI setup
nomeata/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
nomeata/readthedocs.org
The source code that powers readthedocs.org
nomeata/subverso
nomeata/theorem_proving_in_lean4
Theorem Proving in Lean 4