9 projects
codelogician
CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself.
imandrax-api-models
Add your description here
imandrax-api
Imandrax API client library
imandrax-tools
Add your description here
imandrax-codegen
Code generator for ImandraX artifact
imandra
A CLI and API client library for interfacing with Imandra's web APIs
iml-query
Add your description here
speclogician
SpecLogician is an AI framework that turns code, tests, logs, and requirements into mathematical context for LLMs through formal specification synthesis, verification, and analysis.
tree-sitter-iml
IML (Imandra Modeling Language) grammar for tree-sitter
