Stars
Implementation of the Cedar Policy Language
Opam repository for the development version of Jane Street packages
A collection of formalized statements of conjectures in Lean.
A self-hosted dashboard that puts all your feeds in one place
A markup-based typesetting system that is powerful and easy to learn.
Build and use highly customized and ultra-lightweight unikernel VMs.
A third-party implementation of Relational Lenses and Incremental Relational Lenses as of 2017
Network Sketcher generates network configuration diagrams in PowerPoint and manages configuration information in Excel. It also uses general-purpose AI(LLM) to create network configurations and ref…
Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.
tfcmt enhances mercari/tfnotify in many ways, including Terraform >= v0.15 support and advanced formatting options
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…