• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get Started
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
1 Search Results
OCanren
Implementation of miniKanren relational (logic) EDSL
Dmitrii Boulytchev https://github.com/dboulytchev Dmitrii Kosarev https://github.com/Kakadu Evgenii Moiseenko https://github.com/eupp Petr Lozov https://github.com/Lozov-Petr JetBrains Research https://research.jetbrains.org
0.3.0
LGPL-2.1
Used by 2 other packages
Innovation. Community. Security.
  • About Us
  • Industrial Users
  • Academic Users
  • Why OCaml
  • Resources
  • Get Started
  • Language Docs
  • Books
  • Releases
  • Community
  • Blog
  • Jobs
  • Legal
  • Carbon Footprint
  • Governance
  • Privacy Policy
  • Code of Conduct