A collection of resources for learning type theory and type theory adjacent fields.
Repository Index
47,133 repositories indexed
2,257–2,280 of 8,961 · Most stars
DEPRECATED - Memory efficient shimmering effect for Android applications by Supercharge.
- android
- android-animation
- animation
- memory-efficiency
A curated list of awesome Dart frameworks, libraries, and software
- dart
- awesome
- awesome-list
- dart-frameworks
Modern XMPP ("Jabber") Chat Client using GTK/Vala
- xmpp-client
- vala
- xmpp
- linux-desktop
Use UIStackView directly in iOS6+
Search and browse documents and data; find the people and companies you look for.
- python
- data-search
- graph-database
- journalism
A Go OpenID Connect client.
- golang
Ruby on Rails API documentation tool
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
OCI registry client - managing content like artifacts, images, packages
Android library for multiple snapping of RecyclerView
- java
- android
- library
- ui
PeachPie - the PHP compiler and runtime for .NET and .NET Core
- php-compiler
- roslyn
- php
- peachpie
Project Flogo is an open source ecosystem of opinionated event-driven capabilities to simplify building efficient & modern serverless functions, microservices & edge apps.
- flogo
- iot
- integration
- golang
A tiny, friendly, C# parser construction library
A collection of research papers on decision, classification and regression trees with implementations.
- decision-tree
- decision-tree-classifier
- gradient-boosting
- gradient-boosting-machine
A List of Quality OpenResty Libraries, and Resources.
A simple image cropping library for Android.
Library providing easy-to-use interface for displaying tree structures on iOS and tvOS.
Makes Linux applications self-contained by copying in the libraries and plugins that the application uses, and optionally generates an AppImage. Can be used for Qt and other applications
- qt
- qt5
- packaging
- deployment
GridDB is a next-generation open source database that makes time series IoT and big data fast,and easy.
Play BreakOut while loading - A playable pull to refresh view using SpriteKit
- mini-game
- swift
- spritekit
- breakout
Make Bash utilities usable in Fish shell
PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
- mess-detector
- php
- pmd
- static-analysis
Making Eloquent models translatable