Beast code in Giters

grunweg's repositories

Lean 4 programming language and theorem prover

Apache-2.0000

The "batteries included" extended library for the Lean programming language and theorem prover

Apache-2.0000

Hosts the website for mathlib and other Lean community infrastructure.

MIT000

a structural diff that understands syntax 🟥🟩

Language:RustMIT000

Nvim Treesitter configurations and abstraction layer

Apache-2.0000

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

NOASSERTION000

Source for the community blog

000

Rust utility library for nice command line prompts and similar things

Language:RustMIT100

A rust console and terminal abstraction

Language:RustMIT000