Pinned Loading

1. lean4-mlir lean4-mlir Public

   Lean specification of neural architectures with verified IREE codegen.

   MLIR 22 2

2. Apress/convolutional-neural-networks-with-swift-for-tensorflow Apress/convolutional-neural-networks-with-swift-for-tensorflow Public

   source code for book:

   Swift 7 1

3. leanprover/lean4 leanprover/lean4 Public

   Lean 4 programming language and theorem prover

   Lean 8.3k 887

4. tensorflow/swift-models tensorflow/swift-models Public archive

   Models and examples built with Swift for TensorFlow

   Jupyter Notebook 648 150

5. stanford-futuredata/dawn-bench-entries stanford-futuredata/dawn-bench-entries Public

   DAWNBench: An End-to-End Deep Learning Benchmark and Competition

   Python 262 72

6. asparagui/keras_mnist_demo asparagui/keras_mnist_demo Public

   Demo of using keras to generate a neural network and iOS 11 to run the converted model.

   Swift 24 4