mercury
The Mercury logic programming system. (by Mercury-Language)
clojure-graph-resources
A curated list of Clojure resources for dealing with graph-like data. (by simongray)
Our great sponsors
mercury | clojure-graph-resources | |
---|---|---|
2 | 6 | |
874 | 252 | |
2.2% | - | |
9.8 | 1.8 | |
3 days ago | almost 2 years ago | |
Mercury | ||
GNU General Public License v3.0 or later | 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.
mercury
Posts with mentions or reviews of mercury.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-05.
-
Term for translating between enum switch vs map lookup?
The Mercury compiler uses all of these techniques and more. Start here in the source code, and read the comments: https://github.com/Mercury-Language/mercury/blob/master/compiler/switch_gen.m
-
Why Learn Prolog in 2021?
I'm not convinced there's great utility in smart contracts, but if there is, I think there's a huge utility in contracts being declarative and statically typed, to avoid many of the problems we've seen with existing contracts. In that case, a statically typed Prolog dialect would be a good starting point. The contract would be a set of declarative rules describing acceptable next states of the contract. To make the contracts verifiable in linear time, the submitter would submit the next state of the contract, plus a compact binary representation of the path taken through the rules set, so no backtracking would occur in the verifier. You could allow recursion, as verification time would still be linear in the size of the submitted compact path representation, just not linear in the size of the contract. If you disallow recursion, then verification would also be linear in the size of the contract.
Granted, many of the problems with Ethereum Solidity contracts are more to do with all of its use of implicit behavior (in a misguided attempt to hide the complexity of contracts) rather than directly consequences of Solidity being imperative.
Here's a quick plug for Mercury[0], a statically typed dialect of Prolog with an optimizing native code compiler. Supposedly it's 5 to 10 times faster than commercial Prolog compilers or available interpreters.
clojure-graph-resources
Posts with mentions or reviews of clojure-graph-resources.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-12-06.
- Why Is Jepsen Written in Clojure?
-
Fluree DB - A datomic like database that I just discovered
You may be interested in this list: https://github.com/simongray/clojure-graph-resources
-
Does anyone have experience with ALM/PLM tools (Application/Product Lifecycle Management)?
Clojure actually has excellent RDF support. Several features of Clojure and Datomic were inspired by directly by RDF and the semantic web tech is also fairly well-represented. I have compiled a list of all the relevant libraries (pull requests welcome).
-
An Introduction to Knowledge Graphs
... there's a whole bunch of Datomic-likes these days:
https://github.com/simongray/clojure-graph-resources#datalog
-
What are some great Clojure libraries, as of 2021?
There is a whole ecosystem around Datomic and Datomic-like databases that represent linked data in an RDF-like fashion using simple tuples.
-
Why Learn Prolog in 2021?
Probably worth mentioning for those interested in Datalog that there's actually a growing selection of databases for Clojure that use Datalog as their query language. I have documented them here: https://github.com/simongray/clojure-graph-resources#datalog
The Clojure variants of Datalog (they model triples as Clojure data structures) are basically becoming as ubiquitous in Clojure as SQL is elsewhere.