coda
DISCONTINUED
mina
Our great sponsors
coda | mina | |
---|---|---|
1 | 9 | |
618 | 1,630 | |
- | 2.1% | |
10.0 | 10.0 | |
almost 2 years ago | 6 days ago | |
Jupyter Notebook | OCaml | |
Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
coda
We haven't tracked posts mentioning coda yet.
Tracking mentions began in Dec 2020.
mina
What are some alternatives?
Mina - Blazing fast application deployment tool.
particl-desktop - The GUI application for Particl Markeplace and PART coin wallet. A decentralized peer to peer marketplace –free, secure, private, untraceable.
tnb-analysis - Gain insights about thenewboston digital crypto currency network by doing some analysis
fastquant - fastquant — Backtest and optimize your ML trading strategies with only 3 lines of code!
google-drive-ocamlfuse - FUSE filesystem over Google Drive
pyre-check - Performant type-checking for python.
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
awesome-zero-knowledge-proofs - A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
go-jsonnet
starlark-go - Starlark in Go: the Starlark configuration language, implemented in Go
octoDNS - Tools for managing DNS across multiple providers