daniel-pg

daniel-pg's Stars

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.4k872

• ROCm/HIP

  HIP: C++ Heterogeneous-Compute Interface for Portability

  Language:C++3.7k528

• ironicbadger/pms-wiki

  The aim is to share knowledge and information about building an open-source media server.

  Language:HTML39854

• cupy/cupy

  NumPy & SciPy for GPU

  Language:Python9.3k836

• Vendicated/Vencord

  The cutest Discord client mod

  Language:TypeScript8.7k1.2k

• Vencord/Vesktop

  Vesktop is a custom Discord App aiming to give you better performance and improve linux support

  Language:TypeScript3.8k179

• actix/actix-web

  Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

  Language:Rust21.4k1.7k

• cole14/rust-elf

  Library for parsing ELF files for Rust

  Language:Rust21444

• clap-rs/clap

  A full featured, fast Command Line Argument Parser for Rust

  Language:Rust14.1k1k

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k404

• minetest/minetest

  Minetest is an open source voxel game-creation platform with easy modding and game creation

  Language:C++10.6k2k

• tomasklaen/uosc

  Feature-rich minimalist proximity-based UI for MPV player.

  Language:Lua1.7k69

• qemu/qemu

  Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

  Language:C10.2k5.5k

• gem5/gem5

  The official repository for the gem5 computer-system architecture simulator.

  Language:C++1.6k1.2k

• k4zmu2a/SpaceCadetPinball

  Decompilation of 3D Pinball for Windows – Space Cadet

  Language:C++3.4k210

• glfw/glfw

  A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input

  Language:C12.9k5.2k

• g-truc/glm

  OpenGL Mathematics (GLM)

  Language:C++9.2k2.1k

• twentyhq/twenty

  Building a modern alternative to Salesforce, powered by the community.

  Language:TypeScript16k1.8k

• Cubitect/cubiomes-viewer

  An efficient graphical Minecraft seed finder and map viewer.

  Language:C++1.1k62

• toolbox4minecraft/amidst

  Advanced Minecraft Interface and Data/Structure Tracking

  Language:Java2.1k239

• cabaletta/baritone

  google maps for block game

  Language:Java7.2k1.4k

• OpenNBS/OpenNoteBlockStudio

  An open-source Minecraft music maker.

  Language:Yacc74951

• icsharpcode/ILSpy

  .NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

  Language:C#21.3k3.3k

• Faithful-Resource-Pack/Faithful-Java-32x

  The official repository for the Java version of Faithful 32x

  2049

• Axeryok/CocoaInput

  A best way to input characters with native mac IM in Minecraft

  Language:Java9438

• anthraxx/linux-hardened

  Minimal supplement to upstream Kernel Self Protection Project changes. Features already provided by SELinux + Yama and archs other than multiarch arm64 / x86_64 aren't in scope. Only tags have stable history. Shared IRC channel with KSPP: irc.libera.chat #linux-hardening

  Language:C56856

• capnproto/capnproto

  Cap'n Proto serialization/RPC system - core tools and C++ library

  Language:C++11.6k923

• searxng/searxng

  SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

  Language:Python12.7k1.4k

• searx/searx

  Privacy-respecting metasearch engine

  Language:Python13.4k1.7k

• ferrocene/ferrocene

  Source code of Ferrocene, safety-critical Rust toolchain

  Language:Rust1.3k35