pnlph Goto Github PK

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

a-tour-of-pytorch-optimizers

A tour of different optimization algorithms in PyTorch.

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-bcam

Tutorial series introducing Agda to the people at BCAM

agda-prelude

Programming library for Agda

agda-stdlib

The Agda standard library

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

cedille.github.io

Cedille Homepage

certainty-by-construction

code-package-processing-3.x

Code package of the book Generative Design for Processing 3.x

cs224u

Code for Stanford CS224u

cubical

An experimental library for Cubical Agda

deep-learning-pytorch-huggingface

exercism-haskell

Exercism exercises in Haskell.

formal-topology-in-uf

Formal Topology in Univalent Foundations (WIP).

fourier-feature-networks

Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains

galai

Model API for GALACTICA

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

gentle-intro-to-reflection

A slow-paced introduction to reflection in Agda. ---Tactics!

gpwh

My workspace containing code listings from the book "Get Programming with Haskell", by Will Kurt.

haskell-book

Exercises and code from "Haskell Programming from First Principles"

hott-intro

An introductory course to Homotopy Type Theory

hottest-summer-school

HoTTEST Summer School materials

language-agda

Agda language support for the Atom editor

languagetool

Style and Grammar Checker for 25+ Languages

learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

mac-ml-speed-test

A few quick scripts focused on testing TensorFlow/PyTorch/Llama 2 on macOS.

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.

nlp-text-generation

notebooks

Notebooks using the Hugging Face libraries 🤗