Matteo Capucci's repositories
awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
dataloader-sequelize-wrapper
wrap your Sequelize objects in a dataloader caching layer
koa-graphql-batch
Koa middleware to support query batching for react-relay-network-layer
analisi-funzionale
Appunti del corso
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
add-as-methods
Microutil to add bound functions to a JS object
cost-of-modules
Find out which of your dependencies is causing bloat 😥
express-graphql
Create a GraphQL HTTP server with Express.
init-npm-project
arrange a minimal setup for an npm project
lesser-watch
watch LESS files and selectively recompiles them whenever (directly or indirectly) @import-ed files change
loggety-mclogface
tiny console logging util with basic coloring and tagging
plfa.github.io
Introduction to programming language theory in Agda
react-markup-text
add <p>s and <br/>s to texts
react-relay-network-layer
ReactRelayNetworkLayer with middlewares and query batching.
zulip-archive
Generate a static HTML archive of messages in any combination of streams in a Zulip organization.