penguinfreud

penguinfreud's Stars

• ytdl-org/youtube-dl

  Command-line program to download videos from YouTube.com and other video sites

  Language:Python133k2.2k26.7k10.1k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust99.7k1.5k55.8k12.9k

• xai-org/grok-1

  Grok open release

  Language:Python49.7k5902138.3k

• uutils/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  Language:Rust17.9k1921.6k1.3k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++13.1k1176.3k1.5k

• danluu/post-mortems

  A collection of postmortems. Sorry for the delay in merging PRs!

  11.3k5560436

• microsoft/mimalloc

  mimalloc is a compact general purpose allocator with excellent performance.

  Language:C10.7k157629883

• mit-pdos/xv6-public

  xv6 OS

  Language:C8k21904k

• google/syzkaller

  syzkaller is an unsupervised coverage-guided kernel fuzzer

  Language:Go5.4k1941k1.2k

• seL4/seL4

  The seL4 microkernel

  Language:C4.8k204429677

• lxc/lxc

  LXC - Linux Containers

  Language:C4.7k2101.8k1.1k

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.7k591k352

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k61534175

• openjdk/jmh

  https://openjdk.org/projects/code-tools/jmh

  Language:Java2.3k370310

• rust-lang/chalk

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver

  Language:Rust1.9k70210181

• GaloisInc/HaLVM

  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

  Language:Haskell1.1k8310179

• pytorch/cpuinfo

  CPU INFOrmation library (x86/x86-64/ARM/ARM64, Linux/Windows/Android/macOS/iOS)

  Language:C1k27887328

• xen-project/xen

  Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)

  Language:C647520332

• jiayiliujiayi/2020nCov_individual_archives

  "Every individual matters. Every individual has a role to play." This is a repository that archives the individual stories during the COVID19 pandemic. 备份普通人在疫情期间的记录。（持续翻译 & 更新中）

  Language:R537391198

• ChenChunCamus/article

  48653294

• githwxi/ATS-Postiats

  ATS2: Unleashing the Potentials of Types and Templates

  Language:ATS3543311854

• Trebor-Huang/history

  History of type theory (Chinese).

  Language:TeX32110610

• l4ka/pistachio

  L4Ka::Pistachio micro-kernel

  Language:C++274461454

• pelikan-io/pelikan

  Pelikan is a framework for building local or distributed caches. It comes with a highly extensible architecture, best-in-class performance, and superb operational ergonomics. You can use it to replace most of Memcached or a subset of Redis features.

  Language:C23761719

• githwxi/ATS-Xanadu

  Bootstrapping ATS3

  Language:ATS199301414

• kframework/X86-64-semantics

  Semantics of x86-64 in K

  Language:Assembly14522913

• bekh6ex/firefox-container-proxy

  [Firefox extension] Assign a proxy to a Firefox container

  Language:TypeScript14185514

• typemeta/funcj

  Assorted functional-oriented data structures and algorithms for Java.

  Language:Java10833214

• ats-lang/ATS-Postiats-release

  ATS2: Unleashing the Potentials of Types and Templates

  Language:ATS41303

• adamgundry/inch

  A type-checker for Haskell with integer constraints

  Language:Haskell40612