Lists (7)
Stars
A curated list of awesome Steam Deck software, resources and more.
🌱 a curated list of tools to help you with your research/life; I built a front end around this repo, please use the link below [This repo is deprecated. Instead, I maintain all the contents using t…
⌨️ A curated list of awesome tools, demos and resources to go beyond LaTeX
Curated list of everything awesome around pixel art.
Typefaces for source code beautification
A curated list of awesome tools, resources and workflow tips making an awesome development environment.
😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]
Context-Generic Programming: modular programming paradigm for Rust
An experimental proof assistant based on a type theory for synthetic ∞-categories.
A fur-ociously secure encryption tool that encodes your secrets as adorable cat and dog sounds, using real elliptic curve cryptography with a playful disguise.
LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/
I, Librarian - open-source version of a PDF managing SaaS.
Yaffa is a personal finance web application, focusing on the support of long term financial planning.
Donetick an open-source, user-friendly app for managing tasks and chores, featuring customizable options to help you and others stay organized
Open-source, self-hosted note-taking tool built for quick capture. Markdown-native, lightweight, and fully yours.
A self-hosted dashboard that puts all your feeds in one place
A Typst-friendly static Zettelkästen site generator.
shiroa is a simple tool for creating modern online books in pure typst.
An asynchronous distributed actor framework in Rust with robust observability
A friendly functional language for finding counterexamples 🎯
Scrappy implementations of programming language ideas