Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Repository Index
47,133 repositories indexed
481–504 of 676 · Most stars
TranslatedDesign styles, motion films, visual guides & editable source code.
A collection of Generative AI examples on iOS.
Demonstrates how to run load tests with containerised instances of K6, Grafana and InfluxDB
This is a .NET skeleton project to introduce the concepts of Domain Driven Design and loosely coupled layers. You can use this solution as a starting point to build loosely coupled and composable applications where the Domain is at the heart of the project.
Translated🐋 Complete guide in Russian: how to install and run DeepSeek locally (V4, R1) on PC, Mac and server — Ollama, llama.cpp, LM Studio, vLLM, Open WebUI, API, RAG, agents, fine-tuning, best tips and tricks
- ai-agents
- deepseek
- deepseek-r1
- deepseek-v4
A drop-in replacement for std::list with 293% faster insertion, 57% faster erasure, 17% faster iteration and 77% faster sorting on average. 20-24% speed increase in use-case testing.
This repository contains notebooks that show the usage of TensorFlow Lite for quantizing deep neural networks.
- tensorflow-2
- tensorflow-lite
- on-device-ml
- model-quantization
Free Course : Data, Machine Learning, Deep Learning and AI Engineering, the long way round: the math, the code, the systems and the security. 173 lessons, 166 runnable labs, no shortcuts. Free under CC BY-NC 4.0.
- ai-engineering
- course
- data-engineering
- deep-learning
Reliable Server Side Swift ✭ Make Apache great again!
- swift
- mod-swift
- mustache
- express
Contains the slides and examples for my "More Modern CMake" and "Oh No! More Modern CMake" talks from "Meeting C++" 2018 and 2019
A curated collection of publicly available resources on how companies around the world perform load testing
- performance-testing
- load-testing
- best-practices
- performance-engineering
Rust + Yew + Axum + Tauri + Tailwindcss, full-stack Rust development for Desktop apps.
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses | 500+ Papers | Perception, Cognition, Planning, Interaction, Agentic System
- adversarial-attacks
- ai-safety
- autonomous-driving
- backdoor-attacks
How to build an analytics agent that gets your business numbers right: metrics from your analysts' SQL, a golden set of real questions, improvement loops
Relay TodoMVC with routing
Angular Developer Roadmap
- roadmap
- developer-roadmap
- angular-developer
- angular-developer-roadmap
A curated list of awesome QR code libraries, software and resources
- awesome
- awesome-list
- collections
- lists
Domain Driven Design (DDD) N-LayeredArchitecture with .Net Core 2
- domain-driven-design
- ddd
- ddd-architecture
- ddd-patterns
Sample app to demonstrate data sharing between a WatchKit app and its main app using Realm
CTF Cheatsheet
- hacking
- hacking-tool
- ctf
- hackthebox
Idris version of Domain Modeling Made Functional Book.
- fp
- idris
- ddd
- depedent-types
Detailed guide for how to get started with beatoraja or BMS in general. -- For example: What is BMS, How do I set it up, Where do I download songs, How does the community work, How does the difficulty system work
Generic graph data structures and algorithms for Go (Golang): dependency graphs (DAGs) with cycle checks and topological sort, BFS and DFS traversal, Dijkstra and other shortest paths, connectivity and partitioning. No dependencies.
- generic
- golang
- graph
- graph-algorithms