porya-gohary

porya-gohary's Stars

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k661

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust23.5k380

• shadps4-emu/shadPS4

  PlayStation 4 emulator for Windows, Linux and macOS written in C++

  Language:C++12.9k860

• sindresorhus/pure

  Pretty, minimal and fast ZSH prompt

  Language:Shell13.3k983

• zsh-users/zsh-syntax-highlighting

  Fish shell like syntax highlighting for Zsh.

  Language:Shell20.5k1.3k

• doctest/doctest

  The fastest feature-rich C++11/14/17/20/23 single-header testing framework

  Language:C++6k648

• RPCS3/rpcs3

  PlayStation 3 emulator and debugger

  Language:C++15.9k2k

• weisslj/cpp-optparse

  Python's excellent OptionParser in C++

  Language:C++9148

• All-Hands-AI/OpenHands

  🙌 OpenHands: Code Less, Make More

  Language:Python42.4k4.7k

• olegos2/mobox

  Language:Shell3.2k145

• OnionUI/Onion

  OS overhaul for Miyoo Mini and Mini+

  Language:C3.6k231

• PapirusDevelopmentTeam/papirus-icon-theme

  Pixel perfect icon theme for Linux

  Language:Shell6.8k427

• TaylanTatli/Sevi

  🎨 A colorful design icon theme based on Reversal.

  Language:Shell834

• google/material-design-icons

  Material Design icons by Google (Material Symbols)

  50.9k9.6k

• JetBrains/intellij-community

  IntelliJ IDEA Community Edition & IntelliJ Platform

  Language:Java17.5k5.3k

• JetBrains/JetBrainsMono

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

  Language:Shell11.2k304

• ROCm/ROCm

  AMD ROCm™ Software - GitHub Home

  Language:Shell4.8k395

• carla-simulator/carla

  Open-source simulator for autonomous driving research.

  Language:C++11.8k3.8k

• glipari/rtscan

  Real-Time Schedulability Analyzer

  Language:C++123

• brandenburg/np-schedulability-analysis

  An implementation of schedulability tests for non-preemptive job sets, for uni- and global multiprocessors, with precedence constraints.

  Language:C++1423

• mive93/DAG-scheduling

  C++ library to handle real-time DAG task and test several implemented schedulability methods from real-time literature

  Language:C++4817

• ohmyzsh/ohmyzsh

  🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

  Language:Shell175k26k

• coin-or/pulp

  A python Linear Programming API

  Language:Python2.1k392

• mkdocs/mkdocs

  Project documentation with Markdown.

  Language:Python19.7k2.4k

• squidfunk/mkdocs-material

  Documentation that simply works

  Language:HTML21.7k3.6k

• darktable-org/darktable

  darktable is an open source photography workflow application and raw developer

  Language:C10.2k1.2k

• Radiokot/photoprism-android-client

  📸 A convenient Android gallery for your PhotoPrism library with plenty of useful features

  Language:Kotlin44934

• ma1co/Sony-PMCA-RE

  Reverse Engineering Sony Digital Cameras

  Language:Python2.2k241

• photoprism/photoprism

  AI-Powered Photos App for the Decentralized Web 🌈💎✨

  Language:Go36k2k

• textX/textX

  Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/

  Language:Python78277