A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Repository Index
47,133 repositories indexed
1,345–1,368 of 2,162 · Most stars
Lua Koans, minus the Zen stuff
Style Guide for the Elixir language, implemented by Credo
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
Guide, reference and cheatsheet on web scraping using rvest, httr and Rselenium.
- rvest
- rselenium
- httr
- scrape-websites
📖 Build a RESTful API on Go: Fiber, PostgreSQL, JWT and Swagger docs in isolated Docker containers.
A guide to EOS smart contract security best practices
Data ingestion for Amazon Elasticsearch Service from S3 and Amazon Kinesis, using AWS Lambda: Sample code
Application template for Rails projects; preloaded with best practices for TDD, security, deployment, and developer productivity.
- rails-template
- template
- rails
- ruby
Code from live exploratory analyses of data in R
ARKit - Place virtual objects using ARKit.
A list of recommended Python libraries, and resources, intended for scientific Python users.
Book source for Controls Engineering in the FIRST Robotics Competition
Next.js + Redux + styled-components + Express = 😇
An OS-agnostic C++ library template in plain CMake.
- cmake
- cmake-examples
- cmake-template
Community list of data & technology resources concerning the built environment and communities. 🏙️🌳🚌🚦🗺️
- urban-planning
- planners
- technology
- data
Great packages that use Scapy
- scapy
- awesome
- awesome-list
ArcGIS Arcade expression templates for all supported profiles in the ArcGIS platform.
- javascript
- arcade
- arcgis
- hacktoberfest
A collection of awesome videos, articles, books and resources about ARM exploitation.
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
Using custom vertex and fragment shaders in ThreeJS
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