All Git Users → AestheticIntegration

3 open source projects by AestheticIntegration

[ Open user page on Github ]

1. Verified React

Automated reasoning for React/ReasonML

✭ 104

ocaml react reasonml reason-react

2. reasonml-tic-tac-toe

www.imandra.ai

✭ 19

reason HTML CSS C++react formal-methods reasonml formal-verification imandra

Bindings to the Tracy profiler

✭ 21

ocaml C++Makefile bindings profiling tracy

1-3 of 3 user projects