Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-stdlib
The Agda standard library
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
cubical
An experimental library for Cubical Agda
pnlph's Repositories
pnlph/agda
Agda is a dependently typed programming language / interactive theorem prover.
pnlph/agda-stdlib
The Agda standard library
pnlph/cubical
An experimental library for Cubical Agda
pnlph/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
pnlph/a-tour-of-pytorch-optimizers
A tour of different optimization algorithms in PyTorch.
pnlph/agda-bcam
Tutorial series introducing Agda to the people at BCAM
pnlph/certainty-by-construction
pnlph/Code-Package-Processing-3.x
Code package of the book Generative Design for Processing 3.x
pnlph/cs224u
Code for Stanford CS224u
pnlph/deep-learning-pytorch-huggingface
pnlph/exercism-haskell
Exercism exercises in Haskell.
pnlph/formal-topology-in-UF
Formal Topology in Univalent Foundations (WIP).
pnlph/fourier-feature-networks
Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains
pnlph/galai
Model API for GALACTICA
pnlph/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
pnlph/HoTTEST-Summer-School
HoTTEST Summer School materials
pnlph/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
pnlph/mac-ml-speed-test
A few quick scripts focused on testing TensorFlow/PyTorch/Llama 2 on macOS.
pnlph/machine-learning-roadmap
A roadmap connecting many of the most important concepts in machine learning, how to learn them and what tools to use to perform them.
pnlph/NLP-Text-Generation
pnlph/notebooks
Notebooks using the Hugging Face libraries 🤗
pnlph/pytorch-deep-learning
Materials for the Learn PyTorch for Deep Learning: Zero to Mastery course.
pnlph/sockets-and-pipes
Some utilities that support the Sockets and Pipes, and re-exports from all the libraries covered by the book.
pnlph/StyleGAN2
pnlph/SwiftAlgorithms
All Algorithms implemented in Swift
pnlph/tensorflow-deep-learning
All course materials for the Zero to Mastery Deep Learning with TensorFlow course.
pnlph/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
pnlph/transformers-book
Jupyter notebooks for the Natural Language Processing with Transformers book
pnlph/vscode-python-tools-extension-template
Template for creating VS Code extensions for python tools.
pnlph/zero-to-mastery-ml
All course materials for the Zero to Mastery Machine Learning and Data Science course.