Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
47,133 repositories indexed
2,785–2,808 of 25,294 · Most stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Ekko Studio is a local-first AI workspace for multi-agent chat, coding, and visual workflows, available on desktop and the web.
A very simple static homepage for your server.
TranslatedAI Agent Development Guide | Agent Harness | Context Engineering | Advanced RAG | MCP | Agentic RL Reinforcement Learning | LangGraph in Practice | 12,000+ Large Model Interview Questions | Job Hunting for Algorithm / Development Roles | Switching Careers to Large Models
Simple bookmark manager built with Go
Terminal based presentation tool
Reference PyTorch implementation and models for DINOv3
AWS zero to hero repo for devops engineers to learn AWS in 30 Days. This repo includes projects, presentations, interview questions and real time examples.
Translated🚀 fullstack tutorial 2022, backend tech stack / path to becoming an architect / full-stack development community, spring recruitment / autumn recruitment / campus recruitment / interviews
A .NET library that makes it easier to create beautiful console applications.
Pioneering Automated GUI Interaction with Native Agents
TranslatedCommonly used third-party libraries, plugins, well-known blogs, and more for iOS development
Not Just A Notepad! (golang + mongodb) http://leanote.org
A database migration tool. Supports SQL migrations and Go functions.
A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there.
Translated🔥 🎉newbee-mall is an e-commerce system that includes a basic version (Spring Boot+Thymeleaf), a version with separated front end and back end (Spring Boot+Vue 3+Element-Plus+Vue-Router 4+Pinia+Vant 4), a flash sale version, a Go language version, and a microservices version (Spring Cloud Alibaba+Nacos+Sentinel+Seata+Spring Cloud Gateway+OpenFeign+ELK). The front-end mall system includes modules such as the home page portal, product categories, new arrivals, home page carousel, product recommendations, product search, product display, shopping cart, order checkout, order process, personal order management, member center, and help center. The back-end management system includes modules such as the data dashboard, carousel image management, product management, order management, member management, category management, and settings.
WCDB is a cross-platform database framework developed by WeChat.
Take control over your live stream video by running it yourself. Streaming + chat out of the box.
The flexible, easy to use, all in one drawer library for your Android project. Now brand new with material 2 design.
The definitive list of lists (of lists) curated on GitHub and elsewhere
TranslatedKubernetes Architecture and Ecosystem: A Guide to Building Infrastructure from Cloud Native to AI Native
starter from "How to Train a GAN?" at NIPS2016
A design system for building faithful recreations of old UIs
🕳 bore is a simple CLI tool for making tunnels to localhost