mattecapu Goto Github PK

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

act21-open-games-with-agency

add-as-methods

Microutil to add bound functions to a JS object

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.

babel-preset-es2015-native-generators

The default Babel ES2015 preset except transform-regenerator is replaced by transform-async-to-generator

calcnum

Programs from my numeric computing classes

carpenter

A powerful declarative tool to automagically generate a JSON-API-compliant REST API from its description.

categorical-systems-theory

chamda

Chainable interface for Ramda

cost-of-modules

Find out which of your dependencies is causing bloat 😥

ct-zulip-archive

ct-zulip-archive-old

darwin

evolutionary process simulation

dataloader-sequelize-wrapper

wrap your Sequelize objects in a dataloader caching layer

dev-or-fail

CLI utility that fails if NODE_ENV is not set to "development"

dynamicalsystemsbook

express-graphql

Create a GraphQL HTTP server with Express.

fantastic-sheaves

freud

a dead-simple head manager for React applications

games-with-players

google-map-react

universal google map react component, allows render react components on the google map

hamiltonian-mechanics

haskell-diegetic-games

hide-on-scroll

hide navbar on scroll down, reveal on scroll up

inertial_navigation

Octave code for inertial navigation

init-npm-project

arrange a minimal setup for an npm project

inkr

an ambitious tool to do everything you can do with a notebook, but better

koa-graphql-batch

Koa middleware to support query batching for react-relay-network-layer