services that empower developers using ssh

An implementation of the Language Server Protocol for LaTeX

Check the commutativity, associativity, idempotency, and other algebraic properties of your functions and relations

Virtual whiteboard for sketching hand-drawn like diagrams

Software for the communication and onboard computer (COBC) of SpaceTeamSat1 (STS1)

Select, put and delete data from JSON, TOML, YAML, XML and CSV files with a single tool. Supports conversion between formats and can be used as a Go package.

🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell

pgf/TikZ diagram editor

Message-passing kernel + userspace

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.

It's the eternal battle between day and night, good and bad. Written in JavaScript with some HTML & CSS in one index.html.

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

The JSON5 Data Interchange Format

JSON5 — JSON for Humans

A Repo For Document AI

small collection of python scripts for pdf manipulation

🤔 A grounder and solver for logic programs.

Self describing hashes - for future proofing

A HugSQL-inspired database library for Python

Browser extension to automatically register in TISS

Jo eh.

AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

AnkiDroid: Anki on Android

The official command line interface for the DigitalOcean API.

Minecraft Mod that adds simple vanilla-like machines that enable automating your world

Internet search engine for text-oriented websites. Indexing the small, old and weird web.

Tensor library for machine learning

analysis of complete spotify streaming dataset (endsong_*.json)

Neural Networks: Zero to Hero