Stars
Automated developer-oriented status page with alerting and incident support
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…
🤖 Dependabot's core logic for creating update PRs.
A PHP experimentation library inspired by Github's own Scientist.
Checks for Symantec issued certificates that will be distrusted.
Code and assignments for the "Building Autonomous Services" workshop module.
Provides basic functionality for event sourced aggregates.
🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaSc…
Brew & manage PHP versions in pure PHP at HOME
The basic purpose of this project is that the raspberryPi sends the temperature event to the server and spark streams the data using the spark streaming
Keep your wireframes free of distracting Lorem Ipsum.
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
An experimental library for Functional Reactive Programming in Scala
PHP Static Analysis Tool - discover bugs in your code without running it!
Simple utility and class library for generating php classes from a wsdl file.
🕸️ Create REST and GraphQL APIs, scaffold Jamstack webapps, stream changes in real-time.
Async Redis client implementation, built on top of ReactPHP.
Slide deck for speaker training session
Humbug is a Mutation Testing framework for PHP to measure the real effectiveness of your test suites and assist in their improvement. It eats Code Coverage for breakfast.
A comprehensive internationalization solution for Meteor.
Property-based testing library for Elixir (QuickCheck style).
A JS implementation of quick_check
phpCoverFish is an open source php(cli), phpunit code coverage pre-processor
What do you call a baby eigensheep? A lamb, duh.
Import data from and export data to a range of different file formats and media