Stars
- All languages
- Ada
- Assembly
- Astro
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Dafny
- Dockerfile
- Erlang
- F#
- F*
- Fortran
- FreeMarker
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Nim
- OCaml
- OpenEdge ABL
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- Python
- R
- Racket
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Stan
- Standard ML
- Stata
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- Vim Script
- Web Ontology Language
- WebAssembly
- Wren
- Zig
Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared …
Packer is a tool for creating identical machine images for multiple platforms from a single source configuration.
CLI tool for spawning and running containers according to the OCI specification
Agent-less vulnerability scanner for Linux, FreeBSD, Container, WordPress, Programming language libraries, Network devices
Cool open source projects. Choose your project and get involved in Open Source development now.
A package to build progressive web apps with Go programming language and WebAssembly.
Upspin: A framework for naming everyone's everything.
Container Network Interface - networking for Linux containers
syzkaller is an unsupervised coverage-guided kernel fuzzer
A proxy software to help circumventing the Great Firewall.
Learn how to write webapps without a framework in Go.
Demo app for Kubernetes Up and Running book
Scoot is a distributed task runner, supporting both a proprietary API and Bazel's Remote Execution.