ericwang385

ericwang385's Stars

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell88.5k3.1k2435.8k

• rust-lang/rustlings

  :crab: Small exercises to get you used to reading and writing Rust code!

  Language:Rust54.7k33668210.2k

• OWASP/CheatSheetSeries

  The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

  Language:Python28.3k5694664k

• PostgREST/postgrest

  REST API for any Postgres database

  Language:Haskell23.5k3381.8k1k

• javascript-obfuscator/javascript-obfuscator

  A powerful obfuscator for JavaScript and Node.js

  Language:TypeScript13.9k1878441.5k

• rust-bakery/nom

  Rust parser combinator framework

  Language:Rust9.5k84907805

• oceanbase/oceanbase

  OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.

  Language:C++8.5k1201.4k1.7k

• aemkei/jsfuck

  Write any JavaScript with 6 Characters: []()!+

  Language:JavaScript8.2k12855677

• plantuml-stdlib/C4-PlantUML

  C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures

  Language:PlantUML6.4k1022081.1k

• intel/hyperscan

  High-performance regular expression matching library

  Language:C++4.8k185358722

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.7k591k349

• lalrpop/lalrpop

  LR(1) parser generator for Rust

  Language:Rust3.1k34435294

• lirantal/awesome-nodejs-security

  Awesome Node.js Security resources

  2.7k6912242

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k512.2k368

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k655.5k360

• TheDan64/inkwell

  It's a New Kind of Wrapper for Exposing LLVM (Safely)

  Language:Rust2.4k20307229

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63284229

• 0xHJK/dumpall

  一款信息泄漏利用工具，适用于.git/.svn/.DS_Store泄漏和目录列出

  Language:Python1.4k1720145

• rustsbi/rustsbi

  RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see https://github.com/rustsbi/prototyper.

  Language:Rust1.1k181497

• argmin-rs/argmin

  Numerical optimization in pure Rust

  Language:Rust1k1412980

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML9664449285

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML63048654142

• TooAngel/screeps

  TooAngel NPC / bot / source code for screeps

  Language:JavaScript60727164154

• LeifAndersen/PLGradSchools

  22313032

• tenderlove/recma

  Pure ruby javascript parser and interpreter.

  Language:Ruby196121758

• vaivaswatha/debugir

  DebugIR: Debugging LLVM-IR Files

  Language:C++1257818

• monadfix/named

  Named parameters (keyword arguments) for Haskell

  Language:Haskell907225

• rapid7/jsobfu

  Obfuscate JavaScript (beyond repair) with Ruby

  Language:JavaScript8784928

• screeps/docs

  Documentation site for Screeps online game

  Language:JavaScript871732137

• OlegTheCat/unlisp-llvm

  Compiler for a toy Lisp language

  Language:Rust64203