-
Flywire
- Brighton, UK
- http://skiold.ageda.net
Stars
- All languages
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- Makefile
- Markdown
- Nix
- Objective-C
- PHP
- Perl
- Puppet
- Python
- R
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Smarty
- Starlark
- Swift
- TeX
- TypeScript
- VCL
- Vim Script
Validation of best practices in your Kubernetes clusters
A Haskell re-implementation of the Nix expression language
Alternative Haskell Infrastructure for Nixpkgs
This is where I am keeping my Alfred 2, Alfred 3, and Alfred 4 workflows.
Alfred workflow that allows free text searching of OmniFocus tasks
https://hercules-ci.com build and deployment agent
A framework for formally verifying distributed systems implementations in Coq
Continuous profiling for analysis of CPU and memory usage, down to the line number and throughout time. Saving infrastructure cost, improving performance, and increasing reliability.
☁️ A curated list of awesome services, solutions and resources for serverless / nobackend applications.
Popular algorithms explained in simple language with examples and links to their implementation in various programming languages and other required resources.
Victoria Treasure is an utility for handling secrets in S3 avoiding manual steps for decrypting or encrypt the files.
An extension of RuboCop focused on code performance checks.
An easy to use and powerful chaos engineering experiment toolkit.(阿里巴巴开源的一款简单易用、功能强大的混沌实验注入工具)
Change data capture for a variety of databases. Please log issues at https://github.com/debezium/dbz/issues.
Dkron - Distributed, fault tolerant job scheduling system https://dkron.io
Prettier is an opinionated code formatter.
One has no future if one couldn't teach themself.
The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement …
This project is intended to protest against the police in Japan
Terraform provider for MongoDB Atlas
Exercise setting up a local MongoDB server with authentication and TLS