A collection of resources for learning type theory and type theory adjacent fields.
Repository Index
47,133 repositories indexed
289–312 of 699 · Most stars
Interactive Go Interview Platform - 30+ coding challenges with instant feedback, AI interview simulation, competitive leaderboards, and automated testing. From beginner to advanced levels with real-world scenarios.
- go-interview-questions
- golang
- golang-interview-questions
- hacktoberfest
A collection of research papers on decision, classification and regression trees with implementations.
- decision-tree
- decision-tree-classifier
- gradient-boosting
- gradient-boosting-machine
Full-stack .Net 10 Clean Architecture (Microservices, Modular Monolith, Monolith), Blazor, Angular 22, React 19, Vue 3.5, BFF with YARP, NextJs 16, Domain-Driven Design, CQRS, SOLID, Asp.Net Core Identity Custom Storage, OpenID Connect, EF Core, OpenTelemetry, SignalR, Background Services, Health Checks, Rate Limiting, Clouds (Azure, AWS, GCP), ...
A curated list of community detection research papers with implementations.
- graph-clustering
- network-clustering
- clustering
- dimensionality-reduction
Design and development guides
- awesome
- styleguides
- programming-languages
- guidelines
📚 Sample Android Components Architecture on a modular word focused on the scalability, testability and maintainability written in Kotlin, following best practices using Jetpack.
- kotlin
- clean-architecture
- clean-code
- testing
EKAlgorithms contains some well known CS algorithms & data structures.
- algorithm
- objective-c
Ruby Tricks, Idiomatic Ruby, Refactoring and Best Practices
This is intended to be a repo containing all of the official AWS Serverless architecture patterns built with CDK for developers to use. All patterns come in Typescript and Python with the exported CloudFormation also included.
- serverless
- cdk
- aws
- lambda-functions
Ruby and Ruby on Rails bookmarks collection
Cheat Sheet for Android Interviews
- android
- interview-questions
- cheat-sheets
- java
DEPRECATED: Curated list of resources related to serverless computing and serverless architectures.
- serverless-framework
- serverless-plugin
- serverless-architectures
- serverless-functions
A curated list of awesome Linux Containers frameworks, libraries and software
- awesome
- containers
- linux-containers
- best-practices
The OWASP NodeGoat project provides an environment to learn how OWASP Top 10 security risks apply to web applications developed using Node.js and how to effectively address them.
Curated List of Privacy Respecting Services and Software
- privacy
- curated-list
- self-hosted
- security
A functional javascript workshop. No libraries required (i.e. no underscore), just ES5.
:gem:Collection of algorithms and data structures
- algorithm
- data-structures
- java
- cpp
Collection of awesome Python types, stubs, plugins, and tools to work with them.
- python
- mypy
- python-stubs
- mypy-stubs
Real-time FX trading showcase by Adaptive. THIS REPO IS NO LONGER MAINTAINED.
- openfin
- react
- rxjs
- typescript
A curated list of data mining papers about fraud detection.
- fraud-detection
- fraud-prevention
- fraud-checker
- fraud-management
A curated list of threat modeling resources (Books, courses - free and paid, videos, tools, tutorials and workshops to practice on ) for learning Threat modeling and initial phases of security review.
- threat-modeling
- practical-devsecops
- security-review
- devsecops-university
A collection of Beamer themes from the community
- latex
- latex-beamer
- latex-pdf
- beamer-template
A curated list of awesome MicroPython libraries, frameworks, software and resources.
- awesome
- micropython
- collection
- awesome-list