A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
Repository Index
77,852 visible repositories in the index
2,497–2,520 of 7,728 · Most stars
Categorized overview of programming principles & design patterns
- programming-principles
- design-patterns
- architectural-patterns
🇨🇳 功能全面的汉字工具库 (拼音 笔画 偏旁 成语 语音 可视化等) (Chinese character util)
- spell-stroke
- draw
- chinese-characters
- pinyin
Turn audio and video into subtitles with an easy-to-use web UI. Everything runs on your own machine.
Work-in-progress tool to reverse unity's IL2CPP toolchain.
- il2cpp-metadata
- analysis
- unity
- static-analysis
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.
Resources and Implementations of Generative Adversarial Nets: GAN, DCGAN, WGAN, CGAN, InfoGAN
- gan
- dcgan
- wasserstein-gan
- infogan
Modals and popups provider for Angular.js applications
The Rubinius Language Platform
- rubinius
- programming-languages
- virtual-machine
programmatic video rendering framework that is actually fast
- agentic-ai
- motion-graphics
- remotion
- video
Supports running OpenWrt on Amlogic, Allwinner, and Rockchip devices. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, s905l, rk3588, rk3568, rk3399, rk3328, h6, etc.
- s905x3
- s905x2
- hk1
- x96
Remove AI features, telemetry data reporting, sponsored content, product integrations, and other annoyances from web browsers.
Programmatic load balancer backed by Etcd
Common solutions and tools developed by Google Cloud's Professional Services team. This repository and its contents are not an officially supported Google product.
- google-cloud-platform
- google-cloud-dataflow
- google-cloud-ml
- google-cloud-compute
A Simple and Versatile Framework for Object Detection and Instance Recognition
- mxnet
- object-detection
- instance-segmentation
A cozy collection of sddm-themes & quickshell lockscreen setups.
- greeter-theme
- linux
- linux-theme
- lockscreen
High Level API Components for Runtime NavMesh Building
Ultra-low-latency asynchronous C++17 logging and metrics library for performance-critical applications
- cpp
- low-latency
- logging-library
- logging
A simple markup language for creating rich terminal reports, presentations and infographics
A JavaScript API for drawing unconventional text effects on the web.
Shōgun
Logic-less Ruby templates.
Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues
- openworm
- elegans
- biology
- simulation
A GPU-powered real-time analytics storage and query engine.
- analytics
- data
- real-time
- gpu-programming