Awesome List Updates on Dec 25, 2022

3 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Ocaml

Code Analysis and Linters

• coq-of-ocaml (⭐247) - Translator from OCaml to Coq to formally verify OCaml code.

2. Awesome Jupyter

Runtimes/Frontends

• Panel (⭐4.4k) - Notebooks as static files or interactive and standalone server-/client-side (via pyodide) apps.

3. Awesome Selfhosted

Software / Communication - Social Networks and Forums

• Akkoma - Federated microblogging server with Mastodon, GNU social, and ActivityPub compatibility. (Source Code) AGPL-3.0 Elixir/Docker

• Prev: Dec 26, 2022
• Next: Dec 24, 2022