SwampertX

SwampertX's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown319k5.5k70829.6k

• tldr-pages/tldr

  📚 Collaborative cheatsheets for console commands

  Language:Markdown52.3k3771.4k4.3k

• gorhill/uBlock

  uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

  Language:JavaScript48.7k9363.4k3.2k

• firstcontributions/first-contributions

  🚀✨ Help beginners to contribute to open source projects

  46.1k50681481.2k

• mattermost-community/focalboard

  Focalboard is an open source, self-hosted alternative to Trello, Notion, and Asana.

  Language:TypeScript22.2k1522.4k2k

• wenyan-lang/wenyan

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

  Language:TypeScript19.8k2504981.1k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.7k27543.5k14.5k

• joeycastillo/The-Open-Book

  7.6k30875231

• mozilla-mobile/fenix

  ⚠️ Fenix (Firefox for Android) moved to a new repository. It is now developed and maintained as part of: https://github.com/mozilla-mobile/firefox-android

  Language:Kotlin6.5k13817.4k1.3k

• cirosantilli/linux-kernel-module-cheat

  The perfect emulation setup to study and develop the Linux kernel v5.4.3, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and KGDB just work. Powered by Buildroot and crosstool-NG. Highly automated. Thoroughly documented. Automated tests. "Tested" in an Ubuntu 24.04 host.

  Language:Python4.2k147181604

• webpro/reveal-md

  reveal.js on steroids! Get beautiful reveal.js presentations from any Markdown file

  Language:JavaScript3.8k42337417

• riscv/riscv-isa-manual

  RISC-V Instruction Set Manual

  Language:TeX3.8k211931652

• eromatiya/the-glorious-dotfiles

  A glorified personal dot files

  Language:Lua2.6k620145

• harababurel/gcsf

  a FUSE file system based on Google Drive

  Language:Rust2.4k387789

• elaine-zheng/summer2020internships

  Keep track of internships for Summer 2020 for undergraduates interested in tech./SWE/related fields

  Language:Python1.8k15211241

• jserv/mini-arm-os

  Build a minimal multi-tasking OS kernel for ARM from scratch

  Language:C1.1k7412244

• esa/pagmo2

  A C++ platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.

  Language:C++84435238162

• slovnicki/pLam

  An interpreter for learning and exploring pure λ-calculus

  Language:Haskell4519917

• cryptosubtlety/intuitive-advanced-cryptography

  Intuitive Advanced Cryptography

  43117516

• fluminurs/fluminurs

  A CLI client in Rust to access the reverse-engineered LumiNUS API

  Language:Rust2774811

• CoqHott/logrel-coq

  Logical Relation for MLTT in Coq

  Language:Coq20133

• IPDSnelting/tba-2022

  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition

  Language:Lean18902

• gary-lgy/dotfiles

  My configuration files for Linux and macOS

  Language:Lua8101

• crazoter/panplus

  A chrome extension that improves the webcasting experience for panopto.

  Language:JavaScript72167

• JingYenLoh/laughing-guacamole

  Language:Haskell30

• SimpleProgramAnalyser/spa

  A CMake Windows program for a SIMPLE language

  Language:C++33650

• kyoDralliam/genxs

  Metaprogramming exercises in MetaCoq

  Language:Coq2300

• dvrylc/duke

  Language:Java1070

• songchaow/MuseScore

  MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

  Language:C++1200

• yan-wl/duke

  Language:Java10