#
adnahmed
Follow
Lists (32)
🫖 3D
453 repositories
🧠 AI
562 repositories
View
Vue
10 repositories
📚 Big Data
31 repositories
🔼 CI
19 repositories
🚀 Cloud
99 repositories
📫 communication
1 repository
⚧️ Compiler
3 repositories
data structure
1 repository
🎨 design
90 repositories
Extensions
1 repository
📄 Formats
15 repositories
😆 Funny
99 repositories
hardware
313 repositories
💀 infosec
1187 repositories
✨ Inspiration
1 repository
📖 Must Read
885 repositories
🕸️ Network
125 repositories
ooh, Shiny,
156 repositories
🔥 Pre-Trained Models
1 repository
🧷 QA
8 repositories
💯 quality and testing
69 repositories
⚛️ React
986 repositories
🟥 static
5 repositories
👍🏼 Template
167 repositories
templates
2 repositories
🪛 Tools
1083 repositories
useful_libs
531 repositories
version_control
git, hg etc.1 repository
🪛 Vim Plugin
1 repository
work
must. work.13 repositories
Starred repositories
A spinoff of genie to supplement WSL's new built-in systemd support.
Validate that your components can safely be updated with fast refresh
OpenMTP - Advanced Android File Transfer Application for macOS
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Mathematics of Rigid Body Transformationss using Coq and MathComp
A port of Coq to Javascript -- Run Coq in your Browser
A formalisation of the Calculus of Constructions
Standardized Serverless ML Inference Platform on Kubernetes
Open Source Solar Inverter - Software, Hardware, Mechanics
Software Engineering for AI/ML -- An Annotated Bibliography
Collection of Summer 2025 tech internships!
EPUB to audiobook converter, optimized for Audiobookshelf
CS198-96: Intro to Neurotechnology @ UC Berkeley
A repository with a variety of meshes with minimal licensing requirements.
The goal of the tool is to monitor requests received by selected device objects or kernel drivers. The tool is quite similar to IrpTracker but has several enhancements. It supports 64-bit versions …
Native API online documentation, based on the System Informer (formerly Process Hacker) phnt headers
Task manager with Todoist and Nextcloud support designed for GNU/Linux 🚀
A Python based ingestor for BloodHound
