Linter for the Nu shell scripting language (*WARNING*: migrating this repository to Codeberg https://codeberg.org/wvhulle/nu-lint, please report issues there)

Python package to run the NICHE Vlaanderen model

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

Greek/English version of Euclid's Elements

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

Julia2925: learn a fast and intuitive programming language in two workdays.

Style your webpage like Edward Tufte’s handouts.

Simplify arithmetic expressions of ENNReal numbers in Lean4

Learn LaTeX online

Lean 4 programming language and theorem prover

A project to digitalise results from physics into Lean.

A tool to auto-generate and render slides from Markdown comments in the Lean editor.

Lean documentation authoring tool

The Lean Computer Science Library (CSLib)

A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

A collection of formalized statements of conjectures in Lean.

Beginner's guide to Tactic Programming in Lean

AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

Library for interactive videos in React

Neovim support for the Lean theorem prover

Examples to accompany the book "Haskell in Depth"

Learn Haskell by building a blog generator - an introductory book about Haskell.

Official documentation for getting things done with Nix.

The math library of Lean 4