Skip to content

An implementation of a simple Neural network in Idris using category theory.

Notifications You must be signed in to change notification settings

zanzix/idris-neural-net

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

An implementation of a simple Neural network in Idris using category theory. 

Based on the code by Tatsuya Hirose: https://zenn.dev/lotz/articles/14458f024674e14f4134

For an in-depth explanation of the code see the following blog post: https://cybercat.institute/2024/04/15/neural-network-first-principles/

About

An implementation of a simple Neural network in Idris using category theory.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages