Repository Index

TranslatedGoogle Open Source Project Style Guide (Chinese version)

DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!

• blockchain
• ethereum
• awesome-list
• awesome

PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards.

• php
• coding-standards
• automation
• cli

mal - Make a Lisp

• mal
• docker
• lisp
• lisp-interpreter

Mockery is a simple yet flexible PHP mock object framework for use in unit testing with PHPUnit, PHPSpec or any other testing framework. Its core goal is to offer a test double framework with a succinct API capable of clearly defining all possible object operations and interactions using a human readable Domain Specific Language (DSL).

• mockery
• phpunit
• php
• stub

A collection of android security related resources

• awesome-list
• awesome
• list
• android

The automatic type-safe REST library for .NET. Refit turns a REST API into a C# interface and generates the HttpClient implementation, with support for HttpClientFactory, pluggable serializers and a testing package.

• dotnet
• dotnet-core
• http
• xamarin

Blender addons to make the bridge between Blender and geographic data

• blender
• addon
• geospatial
• gis

Run Windows software and games on Linux

• wine
• wineprefix-manager
• python
• bottles

A Video Surveillance OS For Single-board Computers

Learn Haskell

Coroot is an open-source observability and APM tool with AI-powered Root Cause Analysis. It combines metrics, logs, traces, continuous profiling, and SLO-based alerting with predefined dashboards and inspections.

• dashboard
• database-monitoring
• metrics
• monitoring

The easiest way to get started with PostgreSQL on the Mac

• postgis
• postgres

A tool for defining design systems and using them to generate cross-platform UI code, Sketch files, and other artifacts.

H2O is an Open Source, Distributed, Fast & Scalable Machine Learning Platform: Deep Learning, Gradient Boosting (GBM) & XGBoost, Random Forest, Generalized Linear Modeling (GLM with Elastic Net), K-Means, PCA, Generalized Additive Models (GAM), RuleFit, Support Vector Machine (SVM), Stacked Ensembles, Automatic Machine Learning (AutoML), etc.

• h2o
• machine-learning
• data-science
• deep-learning

A simple micro-library for defining and dispatching keyboard shortcuts. It has no dependencies.

Material design file manager for Android

• android
• mobile
• frontend
• java

Design-first Go framework that generates API code, documentation, and clients. Define once in an elegant DSL, deploy as HTTP and gRPC services with zero drift between code and docs.

• go
• goa
• microservices
• rest

Emulator for rapid prototyping of Software Defined Networks

• mininet
• openflow
• sdn
• emulator

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

Brew & manage PHP versions in pure PHP at HOME

• phpbrew
• php-versions

lumberjack is a log rolling package for Go

The definitive self-hosted URL shortener

• php
• url-shortener
• rest-api
• mezzio

Framework-agnostic CSS-in-JS with support for server-side rendering, browser prefixing, and minimum CSS generation

• javascript
• css
• aphrodite
• css-in-js