Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 7 Imandra Open Source Projects
Open source projects categorized as Imandra
Categories
>
Imandra
Edit Category
imandra-ai/verified-react
⭐
104
Automated reasoning for React/ReasonML
dependent packages
0
total releases
0
most recent commit
about 4 years ago
imandra-ai/fix-engine
⭐
47
Imandra FIX Engine
dependent packages
0
total releases
0
most recent commit
over 2 years ago
imandra-ai/reasonml-tic-tac-toe
⭐
19
dependent packages
0
total releases
0
most recent commit
over 4 years ago
imandra-ai/imandra-ros
⭐
15
Imandra ROS
dependent packages
0
total releases
0
most recent commit
over 4 years ago
imandra-ai/ipl-examples
⭐
11
Imandra Protocol Language example models
dependent packages
0
total releases
0
most recent commit
over 2 years ago
imandra-ai/cme-mdp
⭐
10
Imandra Modelling Language CME MDP Model
dependent packages
0
total releases
0
most recent commit
about 6 years ago
imandra-ai/ipl-vscode
⭐
8
Imandra Protocol Language VS Code Plugin
dependent packages
0
total releases
0
most recent commit
about 1 year ago
Get A Weekly Email With Trending Imandra Projects
No Spam. Unsubscribe easily at any time.
Imandra
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
