relevant-xkcd
There's always a relevant XKCD. (by adtac)
ditto
A Super Kawaii Dependently Typed Programming Language (by ditto)
relevant-xkcd | ditto | |
---|---|---|
5 | 2 | |
121 | 171 | |
- | 0.6% | |
0.0 | 10.0 | |
over 6 years ago | almost 6 years ago | |
Go | Haskell | |
GNU General Public License v3.0 only | GNU General Public License v3.0 only |
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.
relevant-xkcd
Posts with mentions or reviews of relevant-xkcd.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-09.
- You know he is a good bf material
-
I think I packed the wrong kind of dice for this
I don't know about other people but I used this search engine that someone made. https://relevant-xkcd.github.io/
-
well...it's not wrong
This works pretty well for me.
-
My favourite Pokémon is python
relevant github
- Sonntagsfrage zur Bundestagswahl (Forsa): CDU/CSU 29 % (-4) | GRÜNE 21 % (+3)| SPD 16 % | AfD 10 % | FDP 8 % | DIE LINKE 8 % | Sonstige 8 % (+1)
ditto
Posts with mentions or reviews of ditto.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-09.
-
My favourite Pokémon is python
Are you sure of anything? https://github.com/ditto/ditto
What are some alternatives?
When comparing relevant-xkcd and ditto you can also consider the following projects:
onnx - Open standard for machine learning interoperability
FStar - A Proof-oriented Programming Language