Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
73,862 visible repositories in the index
73–96 of 835 · Most stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A single-header ANSI C immediate mode cross-platform GUI library
TranslatedImmersive status bar and immersive navigation bar management for Android 4.4 and above. It handles issues such as switching between landscape and portrait orientation, notch screens, and the soft keyboard popping up. It can change the status bar font color and the navigation bar icon color, and it also adapts to phones whose font color cannot be changed. It works with Activity, Fragment, DialogFragment, Dialog, and PopupWindow, and is easy to implement with a single line of code, along with other settings for the bars; see the README for details. For the Jianshu article, please refer to: http://www.jianshu.com/p/2a884e211a62
OpenVINO™ is an open source toolkit for optimizing and deploying AI inference
A reference .NET application implementing an eCommerce site
Alokai is a Frontend as a Service solution that simplifies composable commerce. It connects all the technologies needed to build and deploy fast & scalable ecommerce frontends. It guides merchants to deliver exceptional customer experiences quickly and easily.
TranslatedA programmer who loves cooking and is determined to use animations to explain algorithms in plain, easy-to-understand terms. My interview website: www.chengxuchu.com
OpenSCAD - The Programmers Solid 3D CAD Modeller
A customizable, open-source ecommerce platform built on WordPress. Build any commerce solution you can imagine.
Source code for Twitter's Recommendation Algorithm
🛍️ Typescript E-commerce Platform
Translated🐸 Read Frog - Open-source AI language learning & flashcards, an Immersive Translate alternative | 🐸 陪读蛙 (Péidúwā, "Reading Companion Frog") - open-source AI language learning and flashcards, an alternative to Immersive Translate
🚀 World's largest GPT Image 2 prompt library, updated daily — 2000+ curated prompts with preview images, 16 languages. OpenAI's next-gen image model with pixel-perfect text rendering, cross-image consistency, and commercial-grade illustration. Free & open source.
ASP.NET Core eCommerce software. nopCommerce is a free and open-source shopping cart.
Translated:anchor: A collection of reading notes from my career as a game programmer. You can think of it as an enhanced blog. It covers graphics, real-time rendering, programming practice, GPU programming, design patterns, software engineering, and more. Keep Reading , Keep Writing , Keep Coding.
A collection of small bash scripts for heavy terminal users
TranslatedVarious excellent resources, power tools, and frameworks used on the road to becoming a professional programmer
AI powered open source recommender system engine supports classical/LLM rankers and multimodal content via embedding
Open 3D Engine (O3DE) is an Apache 2.0-licensed multi-platform 3D engine that enables developers and content creators to build AAA games, cinema-quality 3D worlds, and high-fidelity simulations without any fees or commercial obligations.
Wi-Fi motion sensing platform for ESP32. C++ SDK, ESPHome, Native, and Matter frontends, browser tools, and a CLI for the full device lifecycle. GPLv3 and commercial licensing.
WPF UI provides the Fluent experience in your known and loved WPF framework. Intuitive design, themes, navigation and new immersive controls. All natively and effortlessly.
:crystal_ball: A lightweight comments widget built on GitHub issues
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
MySQLTuner is a script written in Perl that will assist you with your MySQL configuration and make recommendations for increased performance and stability.