grunweg

Pinned Repositories

batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean0 0 00
blog
Source for the community blog
Language:Python0 0 00
console
A rust console and terminal abstraction
Language:Rust0 0 00
dialoguer
Rust utility library for nice command line prompts and similar things
Language:Rust1 0 01
difftastic
a structural diff that understands syntax 🟥🟩
Language:Rust0 0 00
lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS0 0 00
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
Language:Scheme00
plastex
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.
Language:Python0 0 00
difftastic
a structural diff that understands syntax 🟥🟩
Language:Rust20.4k 60 587326

grunweg's Repositories

grunweg/dialoguer
Rust utility library for nice command line prompts and similar things
Language:Rust1 0 01
grunweg/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean0 0 00
grunweg/blog
Source for the community blog
Language:Python0 0 00
grunweg/console
A rust console and terminal abstraction
Language:Rust0 0 00
grunweg/difftastic
a structural diff that understands syntax 🟥🟩
Language:Rust0 0 00
grunweg/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
grunweg/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS0 0 00
grunweg/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
Language:Scheme00
grunweg/plastex
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.
Language:Python0 0 00