A Lean tactic (`autogeneralize`) which takes in a proof and generalizes it 'as far as the proof allows.'

Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"

Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.

Visual Studio Code extension for the Lean 4 proof assistant

Lean 4 library for pretty printing expressions as LaTeX

Anthropic's educational courses

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

The Julia Programming Language

Progress meter for long-running computations

An experimental code analyzer for Julia. No need for additional type annotations.

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

A test runner for typst projects.

A Typst package CLI tool

Magical utilities for your Svelte applications.

Blame someone else for your bad code.

Typ2Anki is a tool that converts Typst documents into Anki flashcards.

Marginnotes for typst with smart positioning

A short guide to LaTeX that avoids legacy cruft.

A new markup-based typesetting system that is powerful and easy to learn.

Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.

A virtual list component for Svelte apps

Powerful convenience for Julia visualizations and data analysis

Next generation frontend tooling. It's fast!

🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and cycles the easiest way on the planet.

Bayesian inference with probabilistic programming.

plugin to add links to headings in HTML

Symbolic programming for the next generation of numerical software

Run Typst in JavaScriptWorld.

Experimental tree-sitter parser for the Lean (4) Theorem Prover