https://github.com/fogus/rv
A Clojure library exploring the application of pure reasoning algorithms.
https://github.com/fogus/rv
langdev
Last synced: 5 months ago
JSON representation
A Clojure library exploring the application of pure reasoning algorithms.
- Host: GitHub
- URL: https://github.com/fogus/rv
- Owner: fogus
- License: other
- Created: 2017-08-04T18:49:50.000Z (over 8 years ago)
- Default Branch: main
- Last Pushed: 2025-07-17T20:30:00.000Z (10 months ago)
- Last Synced: 2025-07-17T23:59:53.861Z (10 months ago)
- Topics: langdev
- Language: Clojure
- Homepage:
- Size: 171 KB
- Stars: 25
- Watchers: 4
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
# rv
Explorations in pure reasoning algorithms with Clojure.
## Including
### deps.edn
me.fogus/rv {:mvn/version "0.0.10"}
OR
io.github.fogus/rv {:git/tag "v0.0.10" :git/sha "..."}
### Leiningen
Modify your [Leiningen](http://github.com/technomancy/leiningen) dependencies to include:
:dependencies [[me.fogus/rv "0.0.10"] ...]
### Maven
Add the following to your `pom.xml` file:
me.fogus
rv
0.0.10
## Dev
Namespaces under the wip sub-ns are works in progress and should only be used for experimentation. It is expected that these implementations will change frequently and may disappear altogether.
clj -X:dev:test
To generate the current API docs run the following:
clj -Tquickdoc quickdoc '{:outfile "doc/API.md", :github/repo "https://github.com/fogus/rv", :toc false}'
The above requires that you install quickdocs as a CLI tool first.
## License
Copyright © 2017-2025 Fogus
Distributed under the Eclipse Public License version 2.0