tdjordjevski

GWSL-Source

The actual code for GWSL. And some prebuilt releases.

OpenInWSL-Source

The actual code for OpenInWSL. And some prebuilt releases.

conjure

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)

organice

An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

BrainTool

A better way to manage Tabs, Links and Notes

orgzly-android

Outliner for taking notes and managing to-do lists

obsidian.nvim

Obsidian 🤝 Neovim

mind.nvim

The power of trees at your fingertips.

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

logical_verification_2022

Logical Verification 2022-2023 course at VU Amsterdam

BlockingQueue

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

starlight

🌟 Build beautiful, accessible, high-performance documentation websites with Astro

gpac

GPAC Ultramedia OSS for Video Streaming & Next-Gen Multimedia Transcoding, Packaging & Delivery

shapeRank

diy-spacemouse

A DIY navigation device for Fusion360

lshort

The Not So Short Introduction to LaTeX

effect

An ecosystem of tools to build robust applications in TypeScript

Sep

World's Fastest .NET CSV Parser. Modern, minimal, fast, zero allocation, reading and writing of separated values (`csv`, `tsv` etc.). Cross-platform, trimmable and AOT/NativeAOT compatible.

marksman

Write Markdown with code assist and intelligence in the comfort of your favourite editor.

Fable.Form

Vide

Vide - for state-aware function composition, usable from modern UIs to digital signal processing.

arktype

TypeScript's 1:1 validator, optimized from editor to runtime

pretty-ts-errors

🔵 Make TypeScript errors prettier and human-readable in VSCode 🎀

ClosedXML

ClosedXML is a .NET library for reading, manipulating and writing Excel 2007+ (.xlsx, .xlsm) files. It aims to provide an intuitive and user-friendly interface to dealing with the underlying OpenXML API.

hotscript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

Kind1

A modern proof language

rune

Rust VM for Emacs

oxidizeyour.life

A collection of software alternatives written in Rust

typst

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

sile

The SILE Typesetter — Simon’s Improved Layout Engine