mavis
opinionated typing library for elixir (by ityonemo)
egglog0
Datalog + Egg = Good (by philzook58)
Our great sponsors
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.
mavis
Posts with mentions or reviews of mavis.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-11-01.
-
Ask HN: What you up to? (Who doesn't want to be hired?)
working on a static typechecking system for Elixir: https://github.com/ityonemo/mavis (it looks like it's not being worked on but one of the development branches is in the middle of a very painful refactor)
egglog0
Posts with mentions or reviews of egglog0.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-04-18.
-
Better Together: Unifying Datalog and Equality Saturation
I believe this is the code for their work, which I believe the authors didn't put in the paper: https://github.com/philzook58/egglog
- Ask HN: What you up to? (Who doesn't want to be hired?)
- A Prolog like syntax for egg
What are some alternatives?
When comparing mavis and egglog0 you can also consider the following projects:
pottery - Pottery - A container and algorithm template library in C
VW_Flash - Flashing tools for VW AG control units over UDS. Compression, encryption, RSA bypass, and checksums are supported for Simos18.1/6/10, DQ250-MQB, DQ381-MQB, and Haldex4Motion-Gen5-MQB.
ntfy-android - Android app for ntfy.sh
scryer-prolog - A modern Prolog implementation written mostly in Rust.
mpack - MPack - A C encoder/decoder for the MessagePack serialization format / msgpack.org[C]
lldap - Light LDAP implementation
noa - Experimental voxel game engine.
resholve - a shell resolver? :) (find and resolve shell script dependencies)
ntfy - Send push notifications to your phone or desktop using PUT/POST