untainsYD

untainsYD's Stars

• donnemartin/system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

  Language:Python282k6.6k31147.1k

• awesome-selfhosted/awesome-selfhosted

  A list of Free Software network services and web applications which can be hosted on your own servers

  209k2.7k8039.9k

• jlevy/the-art-of-command-line

  Master the command line, in one page

  154k2.8k25414.6k

• airbnb/javascript

  JavaScript Style Guide

  Language:JavaScript146k3.8k1.3k26.6k

• strapi/strapi

  🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable, and developer-first.

  Language:TypeScript64.3k66710.2k8.2k

• charlax/professional-programming

  A collection of learning resources for curious software engineers

  Language:Python46.9k987283.7k

• huginn/huginn

  Create agents that monitor and act on your behalf. Your agents are standing by!

  Language:Ruby44k7322.1k3.8k

• firefly-iii/firefly-iii

  Firefly III: a personal finances manager

  Language:PHP16.8k1695.9k1.5k

• lichess-org/lila

  ♞ lichess.org: the forever free, adless and open source chess server ♞

  Language:Scala15.9k2299.5k2.3k

• google/brotli

  Brotli compression format

  Language:TypeScript13.7k3324181.2k

• playframework/playframework

  The Community Maintained High Velocity Web Framework For Java and Scala.

  Language:Scala12.6k6263.8k4.1k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k104189409

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1825.6k1.5k

• mehdihadeli/awesome-software-architecture

  🚀 A curated list of awesome articles, videos, and other resources to learn and practice software architecture, patterns, and principles.

  8.6k12618691

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.9k2088.9k1.1k

• ryo-ma/github-profile-trophy

  🏆 Add dynamically generated GitHub Stat Trophies on your readme

  Language:TypeScript5.4k57165798

• zio/zio

  ZIO — A type-safe, composable library for async and concurrent programming in Scala

  Language:Scala4.1k1132.6k1.3k

• cosmiconfig/cosmiconfig

  Find and load configuration from a package.json property, rc file, TypeScript module, and more!

  Language:TypeScript4k19166134

• yamadashy/repopack

  📦 Repopack is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools like Claude, ChatGPT, and Gemini.

  Language:TypeScript2.9k1531136

• scalameta/metals

  Scala language server with rich IDE features 🚀

  Language:Scala2.1k482k337

• mozilla-services/syncserver

  Run-Your-Own Firefox Sync Server

  Language:Python1.9k71208146

• math-comp/math-comp

  Mathematical Components

  Language:Coq59633340117

• tofu-tf/tofu

  Functional programming toolbox

  Language:Scala5372410294

• rzk-lang/rzk

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

  Language:Haskell212108410

• input-output-hk/marlowe

  Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

  Language:Isabelle172347343

• zio/interop-cats

  ZIO instances for cats-effect type classes

  Language:Scala156148466

• prathyvsh/morphisms-of-computational-structures

  A visual catalogue + story of morphisms displayed across computational structures.

  1229556

• coq-community/coq-art

  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

  Language:Coq1157522

• Odomontois/LearnScala

  Список ресурсов для изучения scala

  576010

• scalacenter/GoogleSummerOfCode

  Ideas list for GSoC 2025 mentored by Scala Center

  4413112