supervisionary
Supervisionary: a proof-checking system for HOL (by DominicPM)
acorn
Built with Holochain, Acorn is an open-source, peer-to-peer project management application. It is designed and built as a scrum-alternative, Agile Development Pattern for distributed software development teams. Acorn is currently in Alpha testing phase. (by lightningrodlabs)
supervisionary | acorn | |
---|---|---|
1 | 7 | |
0 | 94 | |
- | - | |
1.6 | 9.5 | |
about 1 year ago | 3 months ago | |
Rust | TypeScript | |
MIT License | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
supervisionary
Posts with mentions or reviews of supervisionary.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-11.
-
What would you rewrite in Rust?
This may interest you: https://github.com/DominicPM/supervisionary
acorn
Posts with mentions or reviews of acorn.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-11.
-
What would you rewrite in Rust?
Acorn is an example Holochain app created by one of the cofounders.
-
What do you recommend for conflict-free replicated data type (CRDT) support in Rust?
Each user is effectively the server for their own data. However, many users will expect apps to work like a cloud-based system, where their data is available to others even when their computer is off. To solve this, Holo is building a hosting service based on Holochain, allowing people to offer their spare computing power for hosting others. The HOT token you may find are pre-purchase credits for this hosting. This isn’t a requirement for Holochain apps to work (and there are working Holochain apps such as Acorn). There will also be non-cryptocurrency interfaces to pay for hosting.
-
PM tool similar to acord (mind maps)
I've recently discovered Acorn which has a pretty cool approach to project management: Outcomes instead of projects, structured in a mindmap: https://docs.acorn.software/about-acorn/the-ontology-of-acorn
-
How do I install VScodium without flatpak and speed up Guix?
Same problem with VSCodium's AppImage (the error about libz.so.1). And yes, they're both just electron app so the differences haven't mattered yet. Acorn is a project management tool, I also tried Xplorer.
-
Is this a dead project?
And here is the Acorn Beta.
-
Acorn -- collaborative planning tool -- alpha release for MacOS
Please check out the release, v0.5.1-alpha: https://github.com/h-be/acorn/releases/tag/v0.5.1-alpha
What are some alternatives?
When comparing supervisionary and acorn you can also consider the following projects:
RustPython - A Python Interpreter written in Rust
swc - Rust-based platform for the Web
rustube - A YouTube video downloader, originally inspired by pytube, written in Rust.
gnuradio - GNU Radio – the Free and Open Software Radio Ecosystem
remacs - Rust :heart: Emacs
dprint - Pluggable and configurable code formatting platform written in Rust.
ruby - The Ruby Programming Language
toydb - Distributed SQL database in Rust, written as a learning project
eccodes - ECMWF's GRIB and BUFR decoding/encoding library
OctoPrint - OctoPrint is the snappy web interface for your 3D printer!