egglog0
Datalog + Egg = Good (by philzook58)
mavis
opinionated typing library for elixir (by ityonemo)
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.
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
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)
What are some alternatives?
When comparing egglog0 and mavis you can also consider the following projects:
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.
pottery - Pottery - A container and algorithm template library in C
scryer-prolog - A modern Prolog implementation written mostly in Rust.
ntfy-android - Android app for ntfy.sh
mpack - MPack - A C encoder/decoder for the MessagePack serialization format / msgpack.org[C]
noa - Experimental voxel game engine.
lldap - Light LDAP implementation
resholve - a shell resolver? :) (find and resolve shell script dependencies)
ntfy - Send push notifications to your phone or desktop using PUT/POST