FernandoChu

FernandoChu's Stars

• nushell/nushell

  A new type of shell

  Language:Rust31.9k1905.7k1.6k

• hyprwm/Hyprland

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

  Language:C++20k915.8k851

• ActivityWatch/activitywatch

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

  Language:Python12k114789545

• LawnchairLauncher/lawnchair

  No clever tagline needed.

  Language:Java9.2k2813.4k1.2k

• yairm210/Unciv

  Open-source Android/Desktop remake of Civ V

  Language:Kotlin8.4k1123.9k1.6k

• ImranR98/Obtainium

  Get Android app updates straight from the source.

  Language:Dart7.5k661.2k164

• Hypfer/Valetudo

  Cloud replacement for vacuum robots enabling local-only operation

  Language:JavaScript6.4k99532388

• retorquere/zotero-better-bibtex

  Make Zotero effective for us LaTeX holdouts

  Language:TypeScript5.3k472.2k287

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k651.8k405

• kamiyaa/joshuto

  ranger-like terminal file manager written in Rust

  Language:Rust3.4k32280151

• open-spaced-repetition/fsrs4anki

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

  Language:Jupyter Notebook2.6k26389127

• pacexy/flow

  Browser-based ePub reader

  Language:TypeScript2.1k1476147

• FooSoft/anki-connect

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

  Language:Python1.9k41231219

• IgnisDa/ryot

  Roll your own tracker!

  Language:Rust1.9k755250

• nicotine-plus/nicotine-plus

  Graphical client for the Soulseek peer-to-peer network

  Language:Python1.7k231.1k134

• mollyim/mollyim-android

  Enhanced and security-focused fork of Signal.

  Language:Java1.6k4231186

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k39398314

• meditohq/medito-app

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

  Language:Dart861200105

• nix-community/poetry2nix

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

  Language:Nix8489482441

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell605403235

• debanjandhar12/logseq-anki-sync

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

  Language:TypeScript452824131

• plt-amy/1lab

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

  Language:Agda319126661

• nutritionfactsorg/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

  Language:Java2733611095

• martinescardo/TypeTopology

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

  Language:Agda228163742

• rzk-lang/rzk

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

  Language:Haskell2039828

• jozefg/nbe-for-mltt

  Normalization by Evaluation for Martin-Löf Type Theory

  Language:OCaml1221315

• yoyurec/logseq-awesome-props

  📋 Restyled and iconized properties for Logseq ala Notion/Tana

  Language:TypeScript491253

• coq-community/coq-nix-toolbox

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

  Language:Nix325439

• wenkokke/setup-agda

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

  Language:TypeScript264763

• kendfrey/another-proof-assistant

  Language:Haskell3200