ahartntkn Goto Github PK
Name: Anthony Hart
Type: User
Company: Heliax
Bio: Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq
Blog: anthonylorenhart.com
Name: Anthony Hart
Type: User
Company: Heliax
Bio: Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq
Blog: anthonylorenhart.com
Simple front-end A/B experiment
Infinity categories in agda
(n,r)-categories in agda
Attempting to make a blog
An introduction to algorithmic problem-solving and algorithmic paradigms.
Revised Omega-categorical Typechecker
A minimal (600 LOC) programming language capable of proving theorems about its own terms.
Computer Architecture
Fool-proof template for deploying Dash apps on Heroku
A Dependently Typed Esolang
Notebooks, assignments, and sprint challenge for Data Science Unit 1 Sprint 1
Notebooks, assignments, and sprint challenge for Data Science Unit 1 Sprint 4
Software Engineering and Reproducible Research for Data Science
SQL and Databases for Data Science
Building a real deployed full-stack application, backed by Data Science
A sandbox for testing (relatively) fancy things with python's types
Flask app that factors numbers
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.