trjob

trjob's Stars

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust34.9k3.4k

• ImperialCollegeLondon/formalising-mathematics-2022

  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

  Language:Lean11825

• basarat/typescript-book

  :books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹

  Language:TypeScript20.7k2.5k

• kepano/obsidian-minimal

  A distraction-free and highly customizable theme for Obsidian.

  Language:CSS3.6k185

• swisskyrepo/PayloadsAllTheThings

  A list of useful payloads and bypass for Web Application Security and Pentest/CTF

  Language:Python59.5k14.4k

• ms-jpq/coq_nvim

  Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

  Language:Python3.5k96

• Azure/MachineLearningNotebooks

  Python notebooks with ML and deep learning examples with Azure Machine Learning Python SDK | Microsoft

  Language:Jupyter Notebook4.1k2.5k

• tauri-apps/tauri

  Build smaller, faster, and more secure desktop applications with a web frontend.

  Language:Rust81.3k2.4k

• labmlai/annotated_deep_learning_paper_implementations

  🧑‍🏫 60+ Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠

  Language:Python53.3k5.5k

• makew0rld/amfora

  A fancy terminal browser for the Gemini protocol.

  Language:Go1.1k68

• fosslife/awesome-ricing

  A curated list of awesome tools and technology to help you out with ricing on linux

  2.6k79

• junegunn/fzf

  :cherry_blossom: A command-line fuzzy finder

  Language:Go63.4k2.4k

• obsidianmd/obsidian-sample-plugin

  Language:TypeScript2.5k840

• obsidianmd/obsidian-api

  Type definitions for the latest Obsidian API.

  1.7k197

• ValveSoftware/Proton

  Compatibility tool for Steam Play based on Wine and additional components

  Language:C++23.7k1k

• WillPower3309/awesome-dotfiles

  Dotfiles for awesome people using the awesomewm linux environment

  Language:Lua1.2k68

• vinta/awesome-python

  An opinionated list of awesome Python frameworks, libraries, software and resources.

  Language:Python217k24.8k

• yanirs/established-remote

  A list of established remote companies

  7.6k604

• practical-tutorials/project-based-learning

  Curated list of project-based tutorials

  194k25.3k

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python20.5k1.5k

• sharkdp/bat

  A cat(1) clone with wings.

  Language:Rust48.5k1.2k

• dylanaraps/pfetch

  🐧 A pretty system information tool written in POSIX sh.

  Language:Shell2k164

• reacherhq/check-if-email-exists

  Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.

  Language:Rust4.3k327

• ankidroid/Anki-Android

  AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.

  Language:Kotlin8.3k2.2k

• ankitects/anki

  Anki's shared backend and web components, and the Qt frontend

  Language:Rust18.2k2.1k

• logseq/logseq

  A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

  Language:Clojure31.8k1.9k

• lcpz/awesome-copycats

  Awesome WM themes

  Language:Lua3.1k524

• alobbs/macchanger

  GNU MAC Changer

  Language:TeX580112

• mlua-rs/rlua

  High level Lua bindings to Rust

  Language:Rust1.7k115

• BlingCorp/bling

  Utilities for the awesome window manager

  Language:Lua84550