jasongross Goto Github PK
Name: Jason Gross
Type: User
Company: Machine Intelligence Research Institute
Twitter: diagram_chaser
Location: Berkeley, California, United States
Name: Jason Gross
Type: User
Company: Machine Intelligence Research Institute
Twitter: diagram_chaser
Location: Berkeley, California, United States
Some partial work on formalizing concepts from MIT's 18.705 - Commutative Algebra, in Coq
Notes for 18.721
Class paper for 18.904 - Seminar in Topology
Some partial work on formalizing concepts from MIT's 18.905 - Algebraic Topology I, in Coq
Some partial work on formalizing concepts from MIT's 18.S996 - Category theory for scientists, in Coq
Paper on decoherence for 8.06 - Quantum Mechanics III
Copies of academic papers referenced on my personal website
Repo for ADT Synthesis work, to eventually be integrated into github
Clone of Agda from http://code.haskell.org/Agda using https://github.com/purcell/darcs-to-git
Agda is a dependently typed programming language / interactive theorem prover.
A new Categories library for Agda
Clone of agda standard library http://www.cse.chalmers.se/~nad/repos/lib/ using https://github.com/purcell/darcs-to-git
The Agda standard library
A collection of tools for writing technical documents that mix Coq code and prose.
A minimalist implementation of type theory, suitable for experimentation
A multi-protocol curses IM client.
BarnOwl plugin to deduplicate BarnOwl messages
Bedrock Bit Vector Library
Not necessarily up-to-date mirror of hg bedrock repository
Towards a low-level systems programming language with a verified compiler
Clone of http://web.math.unifi.it/~benedikt/r.cgi/coq
Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library
Code coverage for OCaml and ReScript
A textbook on informal homotopy type theory
A (Coq Development Team) bot written in OCaml
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.