Pinned Repositories
folktale
Knights and Knaves logic puzzles formalized in Lean 4.
lean-blake3
Lean4 bindings to the Blake3 (unfinished)
lean4-alloy
Write C shims from within Lean code.
lean4-itertools
A Lean 4 library for iterators.
lean4-papyrus
An LLVM interface for Lean 4. (WIP)
lean4-partax
Lean 4 library of tools for parsing and compiling syntax and parser definitions.
lyre
Lean IR as Lean syntax
tydeu's Repositories
tydeu/lean4-alloy
Write C shims from within Lean code.
tydeu/lean4-papyrus
An LLVM interface for Lean 4. (WIP)
tydeu/lean4-itertools
A Lean 4 library for iterators.
tydeu/lean4-partax
Lean 4 library of tools for parsing and compiling syntax and parser definitions.
tydeu/folktale
Knights and Knaves logic puzzles formalized in Lean 4.
tydeu/lean-blake3
Lean4 bindings to the Blake3 (unfinished)
tydeu/lean4-rffid
An example of using a Lean library with a Mathlib dependency in C.
tydeu/lyre
Lean IR as Lean syntax
tydeu/checkdecls
Tiny Lean library to check existence of declarations
tydeu/CMakeJuce
CMake helper files for Juce projects
tydeu/cve-search
cve-search - a tool to perform local searches for known vulnerabilities
tydeu/doc-gen4
Document Generator for Lean 4
tydeu/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
tydeu/imperia
Experimenting with imperative programming in Lean
tydeu/import-graph
Tool to analyse the import structure of lean projects.
tydeu/lake-cloud-test
A repository used to test Lake cloud builds.
tydeu/lean4
Lean 4 programming language and theorem prover
tydeu/lean4-betterNumLits
A more flexible alternative macro expansion for Lean 4's numeric literals.
tydeu/lean4-metaprogramming-book
tydeu/lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
tydeu/LeanInfer
Neural Network Inference in Lean 4
tydeu/leanpy
Python in Lean 4
tydeu/mathport
Mathport is a tool for porting Lean3 projects to Lean4
tydeu/msgpack
MessagePack is an extremely efficient object serialization library. It's like JSON, but very fast and small.
tydeu/ntptutorial
Tutorial on neural theorem proving
tydeu/PGPy
Pretty Good Privacy for Python
tydeu/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
tydeu/socket.lean
sockets for Lean 4
tydeu/std4
Standard Library for Lean 4
tydeu/vscode-lean4