emarteca

emarteca's Stars

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust96.6k1.5k54.2k12.5k

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile60.3k3664.7k4.7k

• koalaman/shellcheck

  ShellCheck, a static analysis tool for shell scripts

  Language:Haskell36.1k4162.6k1.8k

• pnpm/pnpm

  Fast, disk space efficient package manager

  Language:TypeScript29.1k1404.2k972

• chubin/wttr.in

  :partly_sunny: The right way to check the weather

  Language:Python24.3k2286601.1k

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.3k56943328

• rust-lang/polonius

  Defines the Rust borrow checker.

  Language:Rust1.3k685174

• sslab-gatech/Rudra

  Rust Memory Safety & Undefined Behavior Detection

  Language:Rust1.3k292042

• se2p/pynguin

  The PYthoN General UnIt Test geNerator is a test-generation tool for Python

  Language:Python1.2k265674

• dccsillag/magma-nvim

  Interact with Jupyter from NeoVim.

  Language:Python98279750

• qntm/greenery

  Regular expression manipulation library

  Language:Python324115640

• dspinellis/dgsh

  Shell supporting pipelines to and from multiple processes

  Language:C3231710622

• cs-au-dk/jelly

  JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

  Language:TypeScript3146920

• jyn514/saltwater

  A C compiler written in Rust, with a focus on good error messages.

  Language:Rust2901025827

• github-tooling/ghtopdep

  :star: CLI tool for sorting dependents repo by stars

  Language:Python25452418

• alexeygumirov/pandoc-beamer-how-to

  Language:TeX2380554

• parsiad/nexus-autodl

  Nexus AutoDL is an autoclicker (a.k.a., autodownloader, bot) that helps automate downloading mods from Nexus Mods

  Language:Python17624223

• rusty-ecma/RESSA

  Rusty EcmaScript Syntax Analyzer

  Language:Rust11145014

• aws-actions/codeguru-reviewer

  84101432

• parsiad/lazy-table

  A python-tabulate wrapper for producing tables from generators

  Language:Python53212

• nuprl/augur

  Performant taint analysis for Node.js

  Language:JavaScript4611413

• awslabs/rust-smt-ir

  Language:SMT311237

• facebookarchive/smt2utils

  Libraries and tools for the SMT-LIB-2 standard.

  Language:Jupyter Notebook2115312

• se2p/FlaPy

  A Tool for Mining Flaky Tests at Scale

  Language:Python1531210

• donald-pinckney/npm-follower

  Language:Rust10282

• parsiad/on-done

  IPython/Jupyter cell magic to execute code after a cell succeeds or fails

  Language:Python5100

• parsiad/math-genealogy-graph

  Generate a DOT file containing a mathematician's genealogy using data from the Mathematics Genealogy Project.

  Language:Python210

• reallyTG/reformulator-artifact

  Artifact for Reformulator ASE'22 paper.

  Language:Shell2110

• parsiad/transformers-lecture

  Lecture notes on building up to Transformers from seq2seq

  Language:Makefile110

• robertDurst/AsyncLambdaTester

  A fork of LambdaTester that generates tests for asynchronous callbacks.

  Language:TypeScript1216