enedil

enedil's Stars

• xingshaocheng/architect-awesome

  后端架构师技术图谱

  59.8k3.2k7117.8k

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34.7k36711.5k2.5k

• gabime/spdlog

  Fast C++ logging library.

  Language:C++24.3k4412.2k4.5k

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust23.1k85803382

• qarmin/czkawka

  Multi functional app to find duplicates, empty folders, similar images etc.

  Language:Rust20k124830653

• wenyan-lang/wenyan

  文言文編程語言 A programming language for the ancient Chinese.

  Language:TypeScript19.6k2494971.1k

• allinurl/goaccess

  GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

  Language:C18.4k3002.3k1.1k

• mozilla/sccache

  Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.

  Language:Rust5.8k53872546

• jaspervdj/patat

  Terminal-based presentations using Pandoc

  Language:Haskell2.4k337561

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2k52222152

• andikleen/pmu-tools

  Intel PMU profiling tools

  Language:Python2k89436336

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63280227

• a13xp0p0v/linux-kernel-defence-map

  Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies

  1.8k1096124

• facebookincubator/below

  A time traveling resource monitor for modern Linux systems

  Language:Rust1.1k344960

• stoically/temporary-containers

  Firefox Add-on that lets you open automatically managed disposable containers

  Language:TypeScript8542352761

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell613403235

• CERT-Polska/Artemis

  A modular vulnerability scanner with automatic report generation capabilities.

  Language:Python5551710648

• jart/bestline

  ANSI Standard X3.64 Teletypewriter Command Session Library

  Language:C457141730

• leonjza/frida-boot

  Frida Boot 👢- A binary instrumentation workshop, with Frida, for beginners!

  Language:CSS30715341

• CMUSTRUDEL/DIRTY

  DIRTY: Augmenting Decompiler Output with Learned Variable Names and Types

  Language:Python16671424

• defund/coppersmith

  Coppersmith's method for multivariate polynomials

  Language:Sage1521211

• blanchette/logical_verification_2020

  Companion files for Logical Verification 2020–2021 at VU Amsterdam

  Language:Lean9518513

• enedil/lacinka

  Belarusian Latin keyboard layout for Windows and Mac

  42334

• TerrorJack/template-haskell-jailbreak

  Black magic to workaround a Template Haskell stage restriction.

  Language:Haskell25502

• azewierzejew/ffi-example

  Language:Makefile3101

• Michcioperz/jmdgen

  generator wywieszek na seminarium systemy rozproszone

  Language:Svelte230

• zofiakaczmarek/astromet.py

  building and fitting one & two body astrometric tracks

  Language:Jupyter Notebook200

• JanczarKurek/swaybg

  Wallpaper tool for Wayland compositors

  Language:C110

• moskala/DES-evolutionary-algorithm

  Implementation of the Differential Evolution Strategy.

  Language:C1200

• zofiakaczmarek/nested_ulens_parallax

  modelling simple and parallax microlensing event lightcurves with nested sampling

  Language:Python1201