Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

8,425–8,448 of 9,990 · Most stars

Self-hosted CMS that works human or headless: full admin UI plus REST and MCP APIs, built-in semantic search and site chat, and content forking, versioning, diff/merge review, templates, approvals, and static page generation.

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

⚛️ GoodReactor is a Redux-inspired Reactor framework for iOS developed using Swift. It enables seamless communication between the View Model, View Controller, and Coordinator through state and navigation functions. It ensures no side-effects by interacting with dependencies outside of the Reduce function. Integrate it with using SPM!

  • ios
  • reactorkit
  • swift
  • library

A layer of abstraction the around acme/autocert certificate manager (Golang)

  • ssl
  • ssl-certificates
  • ssl-certificate
  • x509

tools.build's missing piece – install, sign and deploy libraries easily and securely like with Leiningen