wert310

wert310's Stars

• wagoodman/dive

  A tool for exploring each layer in a docker image

  Language:Go47.3k3583341.8k

• rswier/c4

  C in four functions

  Language:C9.8k327331.4k

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.6k59994349

• extremecoders-re/pyinstxtractor

  PyInstaller Extractor

  Language:Python3k5884617

• astro/microvm.nix

  NixOS MicroVMs

  Language:Nix1.4k18147103

• gdraheim/docker-systemctl-replacement

  docker systemctl replacement - allows to deploy to systemd-controlled containers without starting an actual systemd daemon (e.g. centos7, ubuntu16)

  Language:Python1.4k29142399

• joeyates/imap-backup

  Backup and Migrate IMAP Email Accounts

  Language:Ruby1.4k2119977

• rust-lang/polonius

  Defines the Rust borrow checker.

  Language:Rust1.4k665173

• Shirakumo/trial

  A fully-fledged Common Lisp game engine

  Language:Common Lisp1k365650

• marcpaq/b1fipl

  A Bestiary of Single-File Implementations of Programming Languages

  1k371038

• research-virus/stuxnet

  Public open-source code of malware Stuxnet (aka MyRTUs).

  Language:C980311159

• bugen/pypipe

  Python pipe command line tool

  Language:Python79741725

• jart/emacs-copilot

  Large language model code completion for Emacs

  Language:Emacs Lisp717141019

• pdtpartners/nix-snapshotter

  Brings native understanding of Nix packages to containerd

  Language:Go599126416

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq426926317

• rancher/dapper

  Docker build wrapper

  Language:Go367412887

• BaronKiko/LauncherHijack

  For Amazon Fire Tablets and TV's

  Language:Java353258161

• CanadaHonk/shadow

  Shadow is a new novel web engine made (almost) entirely in JS from scratch

  Language:JavaScript31241612

• nix-community/nix-user-chroot

  Install & Run nix without root permissions [maintainer=@Mic92]

  Language:Rust28393625

• DavidBuchanan314/unsafe-python

  A library to assist writing memory-unsafe code in "pure" python, without any imports (i.e. no ctypes etc.)

  Language:Python219446

• zyedidia/knit

  A simple and flexible build tool using Lua, similar to make/mk.

  Language:Go1864125

• xorvoid/forsp

  Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

  Language:C1459916

• benhoyt/pyast64

  Compile a subset of the Python AST to x64-64 assembler

  Language:Python13812016

• quarkslab/CVE-2020-0069_poc

  Language:C9910126

• petere/postgresqlfs

  FUSE driver to access PostgreSQL databases as a file system

  Language:C9312014

• sabslikesobs/pip.wtf

  Inline dependencies for small Python scripts.

  Language:CSS41401

• rettier/c

  The C Macro

  Language:Python34412

• david-christiansen/ssft24

  Language:Lean15112

• pitmonticone/LeanInVienna2024

  Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

  Language:Lean8701

• puyral/geosans-beamer-theme

  Language:TeX3102