Stars
An extremely fast Python package and project manager, written in Rust.
https://disneystreaming.github.io/smithy4s/
A Simple showcase for the Sea-of-Nodes compiler IR
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
A place to share Nushell scripts with each other
A listing of compiler, language and runtime teams for people looking for jobs in this area
A short guide to LaTeX that avoids legacy cruft.
Extend Gnome Shell with advanced tiling window management. Supports multiple monitors, Windows 11 Snap Assistant, Fancy Zones, customised tiling layouts and more.
setup fasttext and ngram for languagetool server, step-by-step
A Command that can show 👻 spinning
Exemplary real world application built with Scala + http4s
Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
Touying is a powerful package for creating presentation slides in Typst.
Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
Web book about how to make a website with HTML.
Examples to illustrate the use of algebraic effects in Multicore OCaml
Emanate a structured view of your plain-text notes
Official documentation for getting things done with Nix.
Task manager with Todoist, Nextcloud & CalDAV support designed for GNOME