A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Repository Index
47,133 repositories indexed
721–744 of 1,130 · Most stars
The project demonstrates how you can develop applications with Jakarta EE using widely adopted architectural best practices like Domain-Driven Design (DDD).
- javaee
- jakartaee
- domain-driven-design
- ddd
Arithmetic and logical expressions modeled and visualized using protocol-oriented binary trees. 🌳
A curated collection of REA and AI-assisted reverse engineering cases, projects, and ideas. Updated every four hours.
A guide to EOS smart contract security best practices
Application template for Rails projects; preloaded with best practices for TDD, security, deployment, and developer productivity.
- rails-template
- template
- rails
- ruby
ARKit - Place virtual objects using ARKit.
Next.js + Redux + styled-components + Express = 😇
Lightning Network Protocol Development Curriculum
ArcGIS Arcade expression templates for all supported profiles in the ArcGIS platform.
- javascript
- arcade
- arcgis
- hacktoberfest
A curated list of awesome resources for Graal, GraalVM, Truffle and related topics
- graal
- truffle
- graalvm
- llvm
A curated list of awesome applications, macros, 3D printed cases, guides, and more for the Adafruit rp2040 MacroPad.
- macropad
- rp2040
- adafruit
- macros
Find primary sources online and learn how to research history digitally.
- digital-history
- history
- historian
- awesome
A list of resources about deep learning solutions on 3D shape processing
- 3d-models
- 3d-reconstruction
- 3d-representation
- point-cloud
The CNIL publishes a GDPR guide for developers
Organize material to teach functional programming using Elixir
A Flutter project of book app UI
- flutter
- flutter-apps
- flutter-examples
The example project of inferencing Semantic Segementation using Core ML
A curated list of awesome Fairness in AI resources
- fairness
- machine-learning
- deep-learning
- gender-bias
Go Todo Backend example using modular project layout for product microservice.
- go
- golang
- modular
- project-structure
A curated list of resources to help you with ArcGIS development, APIs, SDKs, tools, and location services
- arcgis
- arcgis-apis
- developer-experience
- developers
Unicode Algorithms Implementation for C/C++
- unicode
- utf-16
- utf-8
- utf16
Collect best practices around the CouchDB universe.
EventStorming workshop, this is a hands-on workshop. Contains such topics: DDD, Event storming, Specification by example. Including the AWS product : Serverless Lambda , DynamoDB, Fargate, CloudWatch.
- aws
- eventstorming
- ddd
- serverless