Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 35 · Most stars

Compute the diff between two JSON documents as a series of JSON Patch (RFC6902) operations

  • json-patch
  • rfc6902
  • jsonpatch
  • kubernetes-webhook

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.

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs