mtoohey31

mtoohey31's Stars

• typst/typst

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

  Language:Rust36.2k992.8k975

• juanfont/headscale

  An open source, self-hosted implementation of the Tailscale control server

  Language:Go24.2k1608961.3k

• opentofu/opentofu

  OpenTofu lets you declaratively manage your cloud infrastructure.

  Language:Go23.6k1201k923

• tailscale/tailscale

  The easiest, most secure way to use WireGuard and 2FA.

  Language:Go20k1637.5k1.6k

• eza-community/eza

  A modern alternative to ls

  Language:Rust13.1k27466235

• JetBrains/JetBrainsMono

  JetBrains Mono – the free and open-source typeface for developers

  Language:Shell11.1k86630304

• ArthurSonzogni/FTXUI

  :computer: C++ Functional Terminal User Interface. :heart:

  Language:C++7.3k71357437

• watchexec/watchexec

  Executes commands in response to file modifications

  Language:Rust5.5k23323155

• rizsotto/Bear

  Bear is a tool that generates a compilation database for clang tooling.

  Language:C++5.1k60435325

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k632k437

• jtroo/kanata

  Improve keyboard comfort and usability with advanced customization

  Language:Rust3.4k16533138

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k59341167

• mattn/efm-langserver

  General purpose Language Server

  Language:Go1.4k815163

• ai-robots-txt/ai.robots.txt

  A list of AI agents and robots to block.

  Language:Python1.3k201747

• tailscale/tailscale-android

  Tailscale Android Client

  Language:Kotlin1.1k460477

• nix-community/nix-ld

  Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

  Language:Rust1k163514

• kha-white/mokuro

  Read Japanese manga inside browser with selectable text.

  Language:HTML977108968

• integrations/terraform-provider-github

  Terraform GitHub provider

  Language:Go918471.3k763

• cloudflare/terraform-provider-cloudflare

  Cloudflare Terraform Provider

  Language:Go822451.5k626

• ott-lang/ott

  The Ott tool for writing definitions of programming languages and calculi

  Language:OCaml350155445

• leanprover-community/mathematics_in_lean

  The user home repository for the Mathematics in Lean tutorial.

  Language:HTML288140199

• Mic92/envfs

  Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

  Language:Rust25310155

• OrangeX4/typst-pinit

  Relative positioning by pins, especially useful for making slides in typst.

  Language:Typst185294

• leanprover-community/NNG4

  Natural Number Game

  Language:Lean122114938

• morrisfranken/argparse

  A Simple Argument Parser for C++

  Language:C++12131531

• art-w/sherlodoc

  Fuzzy type search for OCaml documentation

  Language:OCaml734306

• nomeata/loogle

  Mathlib search tool

  Language:Lean655188

• pointOfive/STA410_W24_StatisticalComputation

  Third re-build of STA410 Statistical Computation / STA2102 Computational Techniques in Statistics

  Language:Jupyter Notebook13307

• Julian/setup-lean

  Set up your GitHub Actions workflow with elan and/or a specific version of Lean

  Language:Python321

• armonjam/tree-sitter-ott

  A tree-sitter implementation for the ott language.

  Language:JavaScript210