spidermoy / Monads_KleisliTriples_Proof Star 1 Code Issues Pull requests Computer Scientist Degree - Thesis Work monads functional-programming coq functor category-theory coq-formalization unam kleisli natural-transformation computer-science-degree mexico-city fciencias mac-lane Updated Jul 6, 2020 Coq
arhcoder / Neural-Networks Star 1 Code Issues Pull requests 🧠 Neural Network From-Scratch Implementations while taking Facultad de Ciencias Course from UNAM. python neural-network artificial-intelligence neural-networks feedforward-neural-network perceptron logic-gates demonstration backpropagation from-scratch unam feedforward fciencias facultad-de-ciencias Updated Feb 17, 2024 Jupyter Notebook