pnlph Goto Github PK
Name: herminie
Type: User
Bio: Learning @agda
Location: Leipzig
Name: herminie
Type: User
Bio: Learning @agda
Location: Leipzig
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A tour of different optimization algorithms in PyTorch.
Agda is a dependently typed programming language / interactive theorem prover.
Tutorial series introducing Agda to the people at BCAM
Programming library for Agda
The Agda standard library
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Cedille Homepage
Code package of the book Generative Design for Processing 3.x
Code for Stanford CS224u
An experimental library for Cubical Agda
Exercism exercises in Haskell.
Formal Topology in Univalent Foundations (WIP).
Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains
Model API for GALACTICA
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
A slow-paced introduction to reflection in Agda. ---Tactics!
My workspace containing code listings from the book "Get Programming with Haskell", by Will Kurt.
Exercises and code from "Haskell Programming from First Principles"
An introductory course to Homotopy Type Theory
HoTTEST Summer School materials
Agda language support for the Atom editor
Style and Grammar Checker for 25+ Languages
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
A few quick scripts focused on testing TensorFlow/PyTorch/Llama 2 on macOS.
A roadmap connecting many of the most important concepts in machine learning, how to learn them and what tools to use to perform them.
Notebooks using the Hugging Face libraries 🤗
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.