trjob
Mathematics student. Interested in desktop Linux, FOSS and mathematics-related applications of programming.
United Kingdom
trjob's Stars
bevyengine/bevy
A refreshingly simple data-driven game engine built in Rust
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
basarat/typescript-book
:books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹
kepano/obsidian-minimal
A distraction-free and highly customizable theme for Obsidian.
swisskyrepo/PayloadsAllTheThings
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
ms-jpq/coq_nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
Azure/MachineLearningNotebooks
Python notebooks with ML and deep learning examples with Azure Machine Learning Python SDK | Microsoft
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
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, ... 🧠
makew0rld/amfora
A fancy terminal browser for the Gemini protocol.
fosslife/awesome-ricing
A curated list of awesome tools and technology to help you out with ricing on linux
junegunn/fzf
:cherry_blossom: A command-line fuzzy finder
obsidianmd/obsidian-sample-plugin
obsidianmd/obsidian-api
Type definitions for the latest Obsidian API.
ValveSoftware/Proton
Compatibility tool for Steam Play based on Wine and additional components
WillPower3309/awesome-dotfiles
Dotfiles for awesome people using the awesomewm linux environment
vinta/awesome-python
An opinionated list of awesome Python frameworks, libraries, software and resources.
yanirs/established-remote
A list of established remote companies
practical-tutorials/project-based-learning
Curated list of project-based tutorials
ManimCommunity/manim
A community-maintained Python framework for creating mathematical animations.
sharkdp/bat
A cat(1) clone with wings.
dylanaraps/pfetch
🐧 A pretty system information tool written in POSIX sh.
reacherhq/check-if-email-exists
Check if an email address exists without sending any email, written in Rust. Comes with a ⚙️ HTTP backend.
ankidroid/Anki-Android
AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
ankitects/anki
Anki's shared backend and web components, and the Qt frontend
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
lcpz/awesome-copycats
Awesome WM themes
alobbs/macchanger
GNU MAC Changer
mlua-rs/rlua
High level Lua bindings to Rust
BlingCorp/bling
Utilities for the awesome window manager