https://github.com/jfeser/castor

Deductive synthesis and compilation of specialized databases.
https://github.com/jfeser/castor

compiler database deductive-reasoning program-synthesis

Last synced: about 16 hours ago
JSON representation

Deductive synthesis and compilation of specialized databases.

• Host: GitHub
• URL: https://github.com/jfeser/castor
• Owner: jfeser
• License: mit
• Created: 2017-10-05T22:15:47.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2023-07-18T01:17:38.000Z (over 1 year ago)
• Last Synced: 2024-03-17T10:36:42.049Z (8 months ago)
• Topics: compiler, database, deductive-reasoning, program-synthesis
• Language: OCaml
• Homepage:
• Size: 28.8 MB
• Stars: 12
• Watchers: 7
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project