lira
clojure-graph-resources
lira | clojure-graph-resources | |
---|---|---|
1 | 6 | |
21 | 252 | |
- | - | |
0.0 | 1.8 | |
11 months ago | almost 2 years ago | |
Haskell | ||
MIT License | MIT License |
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.
lira
-
Why Learn Prolog in 2021?
Lira[0] and its readable paper[1] is a good example of abstracting smart contracts into a statically typed, domain-specific language that describes the contract precisely at a high level. It's not Turing complete, which works for a large class of contracts (for instance, see the American and Asian options examples in [1]).
One concern with logic programming is cost of computation, on Ethereum every transaction has a gas associated with it and so you can't run computations that go over the gas available in a block.
Turner's ideas of Total Functional Programming[2] might have application in the smart contract space as well, since you disallow general recursion but allow structural recursion, you can likely precalculate or bound gas costs accurately ahead of time.
As for being statically typed, I completely agree, Solidity's poor design choices contributed to millions of USD in loss (e.g. DAO hack) because the developers were not able to easily reason about the implicit behavior or concurrency model.
[0] https://github.com/etoroxlabs/lira
[1] https://bahr.io/pubs/files/bahr15icfp-paper.pdf
[2] http://www.jucs.org/jucs_10_7/total_functional_programming/j...
clojure-graph-resources
- 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.
What are some alternatives?
mercury - The Mercury logic programming system.
malli - High-performance data-driven data specification library for Clojure/Script.
awesome-prolog - Curated list of Prolog packages and resources
specter - Clojure(Script)'s missing piece
pyswip - PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
awesome-semantic-web - A curated list of various semantic web and linked data resources.
core.logic - A logic programming library for Clojure & ClojureScript
meander - Tools for transparent data transformation
crux - General purpose bitemporal database for SQL, Datalog & graph queries. Backed by @juxt [Moved to: https://github.com/xtdb/xtdb]
clojure-dsl-resources - A curated list of Clojure resources for dealing with domain-specific languages.