FernandoChu

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

joshuto

ranger-like terminal file manager written in Rust

nushell

A new type of shell

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

zotero-better-bibtex

Make Zotero effective for us LaTeX holdouts

lean4

Lean 4 programming language and theorem prover

ryot

Roll your own tracker!

Obtainium

Get Android app updates straight from the source.

mollyim-android

Enhanced and security-focused fork of Signal.

lawnchair

No clever tagline needed.

mathlib4

The math library of Lean 4

Valetudo

Cloud replacement for vacuum robots enabling local-only operation

daily-dozen-android

Keep track of the foods that Dr. Greger recommends in his NYT's best-selling book, How Not to Die with this Android app

anki-connect

Anki plugin to expose a remote API for creating flash cards.

logseq-anki-sync

An logseq to anki syncing plugin with superpowers - image occlusion, card direction, incremental cards, and a lot more.

medito-app

The Medito app is a 100% free meditation app built with flutter. The app is available on Android and iOS.

activitywatch

The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

flow

Browser-based ePub reader

fsrs4anki

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

logseq-awesome-props

📋 Restyled and iconized properties for Logseq ala Notion/Tana

Hyprland

Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

nicotine-plus

Graphical client for the Soulseek peer-to-peer network

setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.

coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

another-proof-assistant

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Unciv

Open-source Android/Desktop remake of Civ V

poetry2nix

Convert poetry projects to nix automagically [maintainer=@adisbladis,@cpcloud]

nbe-for-mltt

Normalization by Evaluation for Martin-Löf Type Theory