Pinned Repositories
agda-diegetic-games
analisi-funzionale
Appunti del corso
awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
categorical-systems-theory
ct-zulip-archive
dataloader-sequelize-wrapper
wrap your Sequelize objects in a dataloader caching layer
haskell-diegetic-games
koa-graphql-batch
Koa middleware to support query batching for react-relay-network-layer
latex-template
react-rich-markdown
A ready-to-go component to render rich Markdown snippets (md + LaTex + code sh)
mattecapu's Repositories
mattecapu/categorical-systems-theory
mattecapu/awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
mattecapu/dataloader-sequelize-wrapper
wrap your Sequelize objects in a dataloader caching layer
mattecapu/koa-graphql-batch
Koa middleware to support query batching for react-relay-network-layer
mattecapu/agda-diegetic-games
mattecapu/analisi-funzionale
Appunti del corso
mattecapu/freud
a dead-simple head manager for React applications
mattecapu/ct-zulip-archive
mattecapu/fantastic-sheaves
mattecapu/hamiltonian-mechanics
mattecapu/haskell-diegetic-games
mattecapu/latex-template
mattecapu/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
mattecapu/act21-open-games-with-agency
mattecapu/add-as-methods
Microutil to add bound functions to a JS object
mattecapu/cost-of-modules
Find out which of your dependencies is causing bloat 😥
mattecapu/ct-zulip-archive-old
mattecapu/DynamicalSystemsBook
mattecapu/express-graphql
Create a GraphQL HTTP server with Express.
mattecapu/games-with-players
mattecapu/init-npm-project
arrange a minimal setup for an npm project
mattecapu/lesser-watch
watch LESS files and selectively recompiles them whenever (directly or indirectly) @import-ed files change
mattecapu/loggety-mclogface
tiny console logging util with basic coloring and tagging
mattecapu/mattecapu.github.io
mattecapu/my-name-is-stochastic-calculus
mattecapu/plfa.github.io
Introduction to programming language theory in Agda
mattecapu/react-markup-text
add <p>s and <br/>s to texts
mattecapu/react-relay-network-layer
ReactRelayNetworkLayer with middlewares and query batching.
mattecapu/test-next-styled-jsx-and-babelrc-issue
mattecapu/zulip-archive
Generate a static HTML archive of messages in any combination of streams in a Zulip organization.