TUI for the Slurm Workload Manager

nextgen MLStyle: Generic Algebraic Data Type + Pattern Match

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

An awesome list of e-graph resources

AdNauseam: Fight back against advertising surveillance

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

Julia wrapper for the Spot LTL and automata manipulation library

A code formatter for Julia with rules set in stone.

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Implementation of a language-level autograd compiler

Dynamic implementation of the FLORIS model

A new language server for Julia, enabling modern, compiler-powered tooling.

Algorithms for quantifying associations, independence testing and causal inference from data.

Working repo for a dynamic parametric wake toolbox which combines OnWaRDS, FLORIDyn and FLORIS

computer vision and sports

Simple ATS friendly typst cv template.

The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331

The dispatch doctor prescribes type stability

A borrow checker for Julia

Easily benchmark a Julia package over its commit history

Formatted output of timed sections in Julia

Syntax highlighting and other enhancements for the Julia REPL

a command-line tool for configuring, running, and analysing algorithm comparison experiments on supercomputers

Macros to define and implement interfaces, to ensure they are checked and correct.

Utility package for comparing data against reference files

An open-source cross-platform alternative to AirDrop

Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert

Julia macro for re-exporting one module from another