async rust sucks

Typst package to draw and style arrows between labels.

Lamport's structured proofs library for typst

Trio – a friendly Python library for async concurrency and I/O

Typst package for drawing beautiful tidy tree easily

Full-blown preprocessor metaprogramming

SHA-256 hash algorithm in Uiua

Write phonetic transcriptions using the IPA.

Renders linguistic trees in Typst

An attempt to better support Minecraft-related content for the Nix ecosystem

Dynamic JavaScript version of phpSyntaxTree - a tool to draw syntax trees from labelled bracket notation.

Javascript/canvas linguistics syntax tree generator.

Typst Package to typeset inference rule

Syntax trees for typst

Typst linguistic examples with minimalist syntax

A tacit array programming language

A collection of formalized statements of conjectures in Lean.

X11 window swallower

Declarative GUIs in Racket.

Run Web Servers in Web Browsers over WebRTC

Proof of concept ranged integers in Rust.

A silly snake game on the browser URL

Systems language with linear types and capability-based security.

A logic programming language that has features of both Datalog and answer set programming.

Wiktionary dump file parser and multilingual data extractor

Execute binaries straight from memory, without touching disk, with a friendly interface!

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

A reverse proxy like nginx, built on pingora, simple and efficient.