artemagvanian

artemagvanian's Stars

• AlexanderPortland/Portfolio

  A fork of ported to use the Sesame system for privacy compliance.

  Language:TypeScript1

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.2k89

• trailofbits/dylint

  Run Rust lints from dynamic libraries

  Language:Rust38821

• servo/gaol

  Cross-platform application sandboxing for Rust

  Language:Rust34240

• AllenAby/websubmit-rs

  Class submission system

  Language:Rust1

• cs0320-s2023/final-project-afunk3-jhirschh-aagvania-hpeter11

  Language:Java11

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

  Papers from the computer science community to read and discuss.

  Language:Shell87.5k5.7k

• mholt/PapaParse

  Fast and powerful CSV (delimited text) parser that gracefully handles large files and malformed input

  Language:JavaScript12.5k1.1k

• shellphish/how2heap

  A repository for learning various heap exploitation techniques.

  Language:C7.2k1.1k

• SimplifyJobs/Summer2025-Internships

  Collection of Summer 2025 tech internships!

  34.7k2.8k

• brownsys/K9db

  MySQL-compatible database for GDPR compliance by construction.

  Language:C++29

• python-poetry/poetry

  Python packaging and dependency management made easy

  Language:Python31.5k2.3k

• Anuken/Mindustry

  The automation tower defense RTS

  Language:Java22.5k3k

• juzeon/fast-mail-bomber

  Fast, multithreading, efficient and easy-to-use mail bombing/spamming tool. Sending mails via mailman services hosted by different providers.

  Language:PHP567125

• LottieFiles/lottie-react

  lottie web player as a react component

  Language:TypeScript72480

• pyenv/pyenv

  Simple Python version management

  Language:Roff39k3k

• lauren-choi/better-world-2022

  1

• gohugoio/hugo

  The world’s fastest framework for building websites.

  Language:Go75.4k7.5k

• conventional-changelog/commitlint

  📓 Lint commit messages

  Language:TypeScript16.8k903

• tmilovanov/wisecreator

  Utility for adding word wise information to non amazon books

  Language:Python31852

• fixstars/libSGM

  Stereo Semi Global Matching by cuda

  Language:C++616189

• pyenv/pyenv-virtualenv

  a pyenv plugin to manage virtualenv (a.k.a. python-virtualenv)

  Language:Shell6.3k400

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k409

• rust-lang/rustlings

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

  Language:Rust53.5k10.1k

• vuejs/vuepress

  📝 Minimalistic Vue-powered static site generator

  Language:JavaScript22.5k4.8k

• sindresorhus/awesome-nodejs

  :zap: Delightful Node.js packages and resources

  58.2k5.8k

• jaredhanson/passport

  Simple, unobtrusive authentication for Node.js.

  Language:JavaScript22.9k1.2k

• vitejs/vite

  Next generation frontend tooling. It's fast!

  Language:TypeScript68k6.1k

• tailwindlabs/tailwindcss

  A utility-first CSS framework for rapid UI development.

  Language:TypeScript82.5k4.2k

• vuejs/awesome-vue

  🎉 A curated list of awesome things related to Vue.js

  72k9.5k