Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Repository Index
71,372 visible repositories in the index
385–408 of 1,304 · Most stars
A local MCP server for agent literature work. Original-LaTeX section reads, BibTeX from arXiv metadata, and topic watches. Papers stay on disk. Search is optional.
A workshop on Linux containers: Rebuild Docker from Scratch
Packer Fuzzer is a fast and efficient scanner for security detection of websites constructed by javascript module bundler such as Webpack.
- webpack
- scanner
- python3
- cybersecurity
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
Custom launcher for FFXIV
A Xcode 5+ plugin that adds more flexible autocompletion rather than just prefix-matching.
[ICLR 2025] Pyramidal Flow Matching for Efficient Video Generative Modeling
- diffusion-models
- flow-matching
- video-generation
[Skype Silk Codec SDK]Decode silk v3 audio files (like wechat amr, aud files, qq slk files) and convert to other format (like mp3). Batch conversion support.
- silk
- audio-files
- batch-conversion-support
A fully featured full text search engine written in PHP
- php
- fulltext
- search
- search-engine
Document (PDF, Word, PPTX ...) extraction and parse API using state of the art modern OCRs + Ollama supported models. Anonymize documents. Remove PII. Convert any document or picture to structured JSON or Markdown
MacOS application to spoof / fake / mock your iOS / iPadOS or iPhoneSimulator device location. WatchOS and TvOS are partially supported.
- location
- location-spoofing
- location-spoof
- fake-locations
"every time I watch one of his talks I feel like someone has gone in and organized my brain"
- rich-hickey
- clojure
- functional-programming
Student version of Assignment 1 for Stanford CS336 - Language Modeling From Scratch
Grounding Image Matching in 3D with MASt3R
Face Recognition, Face Liveness Detection, Face Anti-Spoofing, Face Detection, Face Landmarks, Face Compare, Face Matching, Face Pose, Face Expression, Face Attributes, Face Templates Extraction, Face Landmarks
- deep-learning
- face-detection
- face-landmark-detection
- face-recognition
NMA Computational Neuroscience course
- neuroscience
- machine-learning
- dynamic-systems
- stochastic-processes
最全最新中国省,市,地区json及sql数据
- china-regions
- china-location
- china
- china-city
Watch (parts of) webpages and get notified when something changes via e-mail, on your phone or via other means. Highly configurable.
- python
- webpage
- monitor
- automation
Reverse engineering tool for Linux
- gdb
- cheat-engine
- reverse-engineering
- injection
This is an active mirror of the KiCad development branch, which is hosted at GitLab (updated every time something is pushed). Pull requests on GitHub are not accepted or watched.
- kicad
- wxwidgets
- cad
- engineering
🎨 A secure boot compatible in-memory UxTheme patcher
Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw
Open-Source AI Camera Skills Platform, AI NVR & CCTV Surveillance. Local VLM video analysis with Qwen, DeepSeek, SmolVLM, LLaVA, YOLO26. LLM-powered agentic security camera agent — watches, understands, remembers & guards your home via Telegram, Discord or Slack. Pluggable AI skills. OpenAI, Google, Anthropic or local AI. Runs on Mac Mini & AI PC.