Julia Markus Himmel TwoFX
4 followers · 7 following
Repositories
47
 Projects Packages Starred repositories
3
Filter
Sort
grove-action
Python 0 0
GitHub action for Grove
Updated 2026-09-11 07:36:41 +00:00
grove
Lean 0 0
QA for the Lean standard library
Updated 2026-09-09 13:42:37 +00:00
twofx.github.io
Lean 1 0
Updated 2026-07-14 11:27:49 +00:00
float-model
Lean 1 0
WIP model of floats for the standard library
Updated 2026-06-25 11:30:39 +00:00
berlin2026
Lean 0 0
Slides for Leaning In 2026 and Bobkonf 2026
Updated 2026-03-16 07:38:37 +00:00
TCR
Lean 0 0
Just-for-fun library for verified algorithmic programming.
Updated 2025-11-20 07:02:58 +00:00
test-repo
0 0
Updated 2025-11-07 16:38:05 +00:00
timeserver
Lean 0 0
Updated 2025-09-26 11:55:48 +00:00
bytestring
Lean 0 0
Updated 2025-09-04 11:16:24 +00:00
binary-search
Lean 0 0
Updated 2025-07-13 19:20:23 +00:00
import-autocomplete-test
Lean 0 0
Updated 2025-06-17 08:11:31 +00:00
TwoFX
0 0
Updated 2025-06-13 05:17:15 +00:00
metaprograms
Lean 0 0
Updated 2025-04-17 12:10:57 +00:00
cats
Lean 0 0
Updated 2025-02-26 15:24:47 +00:00
OrderedTree
Lean 0 0
Updated 2025-01-22 15:51:49 +00:00