Sandra Dylus's starred repositories
awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
paperless-ngx
A community-supported supercharged version of paperless: scan, index and archive all your physical documents
typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
rescript-compiler
The compiler for ReScript.
hyperformula
HyperFormula is an open-source headless spreadsheet for business web apps. It comes with over 400 formulas, CRUD operations, undo-redo, clipboard support, and sorting.
randexp.js
Create random strings that match a given regular expression.
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
pg-schema-diff
Go library for diffing Postgres schemas and generating SQL migrations
notesutils
Utilities for extracting notes from Notes.app. This repository is lightly maintained and mainly exists to serve as documentation and starting point for your own scripts.
haskell-tree-sitter
Haskell bindings for tree-sitter
baby-monitor
🦉 A private, self-hosted, (Raspberry Pi) baby monitor.
eco-visio-api
API zum Eco-Visio-Dashboard von Eco-Counter
metacoq-nested-induction
A plugin for induction principles of nested inductive types using MetaCoq
error-message-index
A community-driven collection of documentation for Haskell error messages and warnings