Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge
☆11Mar 18, 2016Updated 9 years ago
Alternatives and similar repositories for iris-reasoner
Users that are interested in iris-reasoner are comparing it to the libraries listed below
Sorting:
- Source code for KRE☆54Apr 23, 2018Updated 7 years ago
- Credible Web CG Admin/General☆26Apr 6, 2022Updated 3 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Dec 19, 2025Updated 2 months ago
- Function callpath mapping analysis tool for Go☆34Mar 6, 2025Updated 11 months ago
- Materials for the Text to Tech workshop at the Digital Humanities Oxford Summer School☆16Aug 8, 2025Updated 6 months ago
- Code behind areweslimyet.com☆31Feb 14, 2018Updated 8 years ago
- Automatically set git config properties in local repository based on remote URL☆15Oct 25, 2021Updated 4 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Sep 6, 2018Updated 7 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- Load data into wikibase☆10Nov 20, 2018Updated 7 years ago
- ☆14Sep 21, 2022Updated 3 years ago
- PACT Agent Collaboration Layer☆15Updated this week
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- Contracts for the EMAX token on Ethereum Mainnet☆20Feb 24, 2022Updated 4 years ago
- Example showing the usage of AspectJ Load-Time Weawing.☆10Aug 28, 2022Updated 3 years ago
- JournalCraft for Obsidian☆29Sep 28, 2025Updated 5 months ago
- 🧙♂️✨ Covenants protocol helps Contracts, Organizations (DFOs, DAOs), or regular people to build and manage cross AMMs financial applica…☆11Apr 24, 2024Updated last year
- Trading signals processing solution that supports signals filtering and posting to broker or exchanges that are not integrated into your …☆10May 9, 2021Updated 4 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 3 years ago
- OWHL - Open Wave Height Logger☆13Jul 31, 2025Updated 7 months ago
- Custom layout for appender log4j2☆10May 20, 2022Updated 3 years ago
- A collection of middlewares for Socket.IO☆21Jun 5, 2014Updated 11 years ago
- My 4-track sampler/sequencer coded in PD and compiled by LibPD run on Beaglebone Black☆16Jul 30, 2019Updated 6 years ago
- Triplestore wrapper for HTML5 WebStorage☆22Dec 23, 2015Updated 10 years ago
- cli tool to find older versions of a given file in your zfs snapshots.☆14Mar 12, 2023Updated 2 years ago
- Energi proposal creator☆12Dec 1, 2021Updated 4 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- An EXPERIMENTAL charter for the W3C Decentralized Identifier Working Group☆10Dec 29, 2020Updated 5 years ago
- An OSGi extender for declarative JAX-RS bundles☆29Oct 22, 2010Updated 15 years ago
- A LevelDB-backed RDFLib Store for RDFLib=>6.0☆19May 23, 2024Updated last year
- NaCl substitute of sorts in Elixir☆13Feb 4, 2026Updated last month
- RDF parser written in Elixir☆12Apr 5, 2017Updated 8 years ago
- The Aurorachain project has three phases, this is the first phase of the code.☆21Sep 12, 2025Updated 5 months ago
- Dinamic classloader☆12Aug 19, 2023Updated 2 years ago
- Exchange structured data between Arduino boards☆11Jul 5, 2019Updated 6 years ago
- The Antisocial Microblogging Framework☆10Feb 20, 2017Updated 9 years ago
- Android Architecture component sample☆13Sep 23, 2017Updated 8 years ago
- a PubSubHubbub client for Node.js☆33Mar 26, 2010Updated 15 years ago