marklemay Goto Github PK
Name: Mark Lemay
Type: User
Bio: Interested in Dependent types, functional programming, and automated theorem proving.
Twitter: MarkLem34900421
Location: Boston
Name: Mark Lemay
Type: User
Bio: Interested in Dependent types, functional programming, and automated theorem proving.
Twitter: MarkLem34900421
Location: Boston
15-819 (Homotopy Type Theory) Lecture Notes
Makefile support for IntelliJ-based IDEs
An ATS Plugin for IntelliJ IDEA.
presentation from http://www.meetup.com/Math-for-People/events/228911582/
code for the presentation
A tutorial on how to embed subset of Joy into Scala via extensible string interpolation and macros
:octocat: GitHub Action to compile LaTeX documents
Learn you an Agda (and achieve enlightenment)
Clojure Examples from Mahout in Action
papers of Per Martin Löf
a debate site, with a twist
Mathematical Components (the Book)
Automagical variable binding library for Rust
use neo4j with scala graphs
editing out asides and parentheticals LaTeX/PDF + Epub version of the online book (http://neuralnetworksanddeeplearning.com) ”Neural Networks and Deep Learning“ by Michael Nielsen (@mnielsen)
Notes and handouts from OPLSS 2019
A demo implementation of a simple dependently-typed language
TextMate themes for PyCharm
A prototype for a python AST library
Replib: generic programming & Unbound: generic treatment of binders
A more featureful runner for sbt, the simple/scala/standard build tool
Scala Chart Library
a helper library for LPM
macro validations for common string like constructs
to test https://wiki.jenkins-ci.org/display/JENKINS/JUnit+Attachments+Plugin
test
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.