Stars
AI agents that guide you from idea to working code, with you in control at every step.
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Spell checker for Portuguese
Crypto-currency tax calculator with support for all popular wallets, exchanges, explorers and migration from other crypto tax platforms
Python helper to export Vault-provided temporary AWS creds into the environment
Tools to bootstrap CAs, certificate requests, and signed certificates.
An sbt plugin to dynamically set your version from git
Support for running Rust programs on AWS Lambda
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Implementation of the `embedded-hal` traits for STM32F30x microcontrollers
Terraform and helper resources for running a production Docker Swarm on AWS
Creating a docker swarm on AWS using Terraform
Cruise-control is the first of its kind to fully automate the dynamic workload rebalance and self-healing of a Kafka cluster. It provides great value to Kafka users by simplifying the operation of …
ShellCheck, a static analysis tool for shell scripts
Learn to use https://concourse-ci.org with this linear sequence of tutorials. Learn each concept that builds on the previous concept.
A boilerplate-free library for loading configuration files
A simple library for creating complex neural networks
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Empowering everyone to build reliable and efficient software.
Web API specification for enabling web pages to publish local-area servers
Community guide to securing and improving privacy on macOS.
Leading Groups at Etsy to Learn From Accidents
📙 Amazon Web Services — a practical guide