Hagb

Hagb's Stars

• zulip/zulip

  Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

  Language:Python21.8k3789.4k8k

• open-spaced-repetition/fsrs4anki

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

  Language:Jupyter Notebook2.9k28403139

• ben-strasser/fast-cpp-csv-parser

  fast-cpp-csv-parser

  Language:C++2.2k67110438

• zulip/zulip-mobile

  Zulip mobile apps for Android and iOS.

  Language:JavaScript1.3k362.1k655

• vincentlaucsb/csv-parser

  A high-performance, fully-featured CSV parser and serializer for modern C++.

  Language:C++92927156158

• mstorsjo/msvc-wine

  Scripts for setting up and running MSVC in Wine on Linux

  Language:Shell694228483

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean349193430

• ImperialCollegeLondon/natural_number_game

  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

  Language:Lean29368773

• hifight/Footsies

  Language:C#24410541

• leanprover-community/lean4-metaprogramming-book

  Language:Lean23193956

• leanprover-community/NNG4

  Natural Number Game

  Language:Lean122114938

• leanprover-community/ProofWidgets4

  Helper toolkit for creating your own Lean 4 UserWidgets

  Language:Lean12182429

• thewierdnut/endless-mobile

  Space exploration, trading, and combat game.

  Language:C++116111288

• hartwork/sandwine

  :wine_glass: Command-line tool to run Windows apps with Wine and bwrap/bubblewrap isolation on Linux

  Language:Python84467

• leanprover/fp-lean

  Functional Programming in Lean

  Language:JavaScript73515921

• siddhartha-gadgil/LeanAide

  Tools based on AI for helping with Lean 4

  Language:Jupyter Notebook6510266

• SokuDev/SokuMods

  Mods and modding frameworks for Touhou Hisoutensoku (12.3) - SWRSToys - SokuEngine

  Language:C++4231711

• leanprover/functional_programming_in_lean

  A book about functional programming in Lean

  39905

• Giufin/giuroll

  Language:Rust21615

• soku-cn/soku-cn.github.io

  Touhou 12.3 HisoutenSoku Chinese Wiki

  Language:TypeScript10301

• Gegel85/SokuLobbies

  Language:C++8212

• ultranity/minimal-EasyConnect

  minimal EasyConnect CLI in docker-alpine

  Language:Shell8312

• cqumirror/mirror-frontend

  重庆大学开源软件镜像站前端；web frontend for cqumirror

  Language:CSS721712

• 0Miles/soku-launcher

  Launcher for Touhou 12.3: Hisoutensoku

  Language:C#62

• neoedmund/endless-sky

  Space exploration, trading, and combat game.

  Language:C++6201

• 0Miles/soku-source-editor

  Module Download Source Editor for SokuLauncher

  Language:JavaScript30

• chrultrabook/libfprint-cros

  WIP libfprint driver for Chromebooks

  Language:C3301

• cqumirror/mirrorweb-tech-info

  all sites are listed in from mirrorz.org

  20

• enebe-nb/th123intl

  Language:C++1211

• mmew-2022/Isabelle_Prime_Number_Theorem

  Prime number theorem with classical remainder item in Isabelle

  Language:Isabelle1