coda
DISCONTINUED
mina
Our great sponsors
coda | mina | |
---|---|---|
1 | 9 | |
618 | 1,918 | |
- | 1.6% | |
10.0 | 10.0 | |
about 3 years ago | 4 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 deployer and server automation tool
go-jsonnet
particl-desktop - The GUI application for Particl Markeplace and PART coin wallet. A decentralized peer to peer marketplace –free, secure, private, untraceable.
oil - Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
fastquant - fastquant — Backtest and optimize your ML trading strategies with only 3 lines of code!
google-drive-ocamlfuse - FUSE filesystem over Google Drive
ocaml-jupyter - An OCaml kernel for Jupyter (IPython) notebook
octoDNS - Tools for managing DNS across multiple providers
pyre-check - Performant type-checking for python.
cryptos - Pure Python from-scratch zero-dependency implementation of Bitcoin for educational purposes
tnb-analysis - Gain insights about thenewboston digital crypto currency network by doing some analysis
awesome-zero-knowledge-proofs - A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).