Skip to content

Commit d56c65e

Browse files
committed
Added related work section
1 parent 35758b5 commit d56c65e

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed

README.md

+15
Original file line numberDiff line numberDiff line change
@@ -136,3 +136,18 @@ function createConvModel() {
136136
return model;
137137
}
138138
```
139+
140+
## Related projects
141+
142+
This project was highly influenciated by [Grenade](https://github.com/HuwCampbell/grenade) 💣.
143+
Grenade is a really cool library to define deep neural networks which are validated using dependent types.
144+
What differences TensorSafe from Grenade the most is that TensorSafe doesn't run nor train the models, instead
145+
it compiles the model to external languages that are capable of performing all computations – like Keras
146+
for Python or JavaScript. Also, TensorSafe doesn't need to specifically declare all Shapes transformations
147+
for all the model layers, instead, it just needs the `input` and `output` Shapes to validate the model.
148+
149+
Another worth looking library is [TensorFlow for Haskell](https://github.com/tensorflow/haskell).
150+
This library has all bindings for TensorFlow in C. The issue with this is that it doesn't perform
151+
a lot of type checkings at compilation time. However, there's an open branch that uses dependent
152+
types to solve many of these issues: https://github.com/helq/tensorflow-haskell-deptyped, but the
153+
solution still seems rather complicated for real use.

0 commit comments

Comments
 (0)