MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
An implementation of StyleCop rules using the .NET Compiler Platform
- csharp
- linting
A composable build system for OCaml.
- build
- ocaml
- opam
- dune
cross-platform, cli app to perform various operations on string
An app that displays updates for the Go packages in your GOPATH.
- go
http://hopac.github.io/Hopac/Hopac.html
- concurrent-programming
- csp
- actors
- cml
go-test-coverage is a tool designed to report issues when test coverage falls below a specified threshold
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
See status of ci/cd pipeline runs directly in neovim. Currently supports GitHub Actions and GitLab CI.
A JMeter plugin supports load test gRPC
- jmeter-plugin
- benchmark
- load-testing
- grpc
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]