Design Patterns for Humans™ - An ultra-simplified explanation
☆96Aug 23, 2017Updated 8 years ago
Alternatives and similar repositories for design-patterns-for-humans-cs
Users that are interested in design-patterns-for-humans-cs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 3 months ago
- ☆19May 22, 2023Updated 3 years ago
- RISC-V Specification in Coq☆13Sep 17, 2018Updated 7 years ago
- Semantics for Cryptol☆15Apr 9, 2018Updated 8 years ago
- A Visual Studio extension☆13Aug 19, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🕸️ Medium Blog Scrapper to Deta.sh 🌌☆12May 19, 2023Updated 3 years ago
- Blazor/.NET Static Web App template repository☆40Jun 23, 2023Updated 3 years ago
- A collection of samples showing some of the new features in .NET 8☆11Dec 13, 2023Updated 2 years ago
- Awesome EF6 third party-libraries, documentation, and tutorials!☆14Jun 1, 2025Updated last year
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 8 years ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- Scripted automation in Vim using ghosts☆14Nov 4, 2016Updated 9 years ago
- Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).☆19Aug 22, 2018Updated 7 years ago
- Decred wallet for Windows.☆12Jun 4, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 3 months ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Adds a "file" literal which is included and translated to a string at compile-time.☆13Oct 28, 2016Updated 9 years ago
- PowerShell auto-completion providers for some cmdlets and native commands☆12Jan 30, 2025Updated last year
- ☆13Aug 12, 2024Updated last year
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated 5 months ago
- Hello World WPF example using ReactiveUI☆15Dec 8, 2023Updated 2 years ago
- A real time chat using C# dotnet, SignalR, Identity and RabbitMQ☆18Jan 9, 2024Updated 2 years ago
- Java Library for Generating x86 Code☆12Sep 30, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- Idris, but it's C☆24May 25, 2018Updated 8 years ago
- A tiny lazy objective functional language☆20Sep 12, 2024Updated last year
- Private extensions to mplayer☆13Oct 7, 2017Updated 8 years ago
- ⚡ monorepo comparing a tiny pokedex application made in REST and graphQL 🦄✨☆12Oct 22, 2022Updated 3 years ago
- Simplified serialization and deserialization of xml☆52Jul 19, 2020Updated 6 years ago
- A Harp boilerplate.☆25Apr 18, 2015Updated 11 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- Create CHM documentation from simple hierarchy of plain text files.☆25Mar 11, 2014Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Style guide for jxnblk.com☆14Oct 6, 2015Updated 10 years ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆25Feb 7, 2025Updated last year
- A Python interpreter for the huh? programming language.☆10Mar 1, 2018Updated 8 years ago
- A sample project using Hexagonal (Ports & Adapters) architecture, Event Sourcing, CQRS and DDD tactical patterns☆13May 13, 2022Updated 4 years ago
- ☆12Dec 7, 2023Updated 2 years ago
- Maratona de Programação UnB (ICPC)☆14May 18, 2020Updated 6 years ago
- A simple abstraction layer over file system like APIs for .NET☆21Jun 22, 2022Updated 4 years ago