mheiber Goto Github PK

recast

JavaScript syntax tree transformer, nondestructive pretty-printer, and automatic source map generator

redbug

erlang tracing debugger

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

redisearch

FullText Search module for redis

redux-devtools

DevTools for Redux with hot reloading, action replay, and customizable UI

redux-ecosystem-links

A categorized list of Redux-related addons, libraries, and utilities

redux-funk

testable, dead simple redux async action middleware in 24 lines of code

redux-funk-examples

examples using redux-funk for async effects in Redux reducers

redux-limiter

Throttle the rate of change notifications from a redux store to stateless components (NOTE: not for use with stateful components)

redux-machine

A tiny library (12 lines) for creating state machines in Redux apps

redux-machine-immutable

A tiny lib for creating state machines as swappable Redux reducers that operate on Immutable JS maps

regex-reexamined-coq

restaurants_by_neighborhood

Use the Yelp API and scraping to get restaurant info by neighborhood

run.js

Control flow experiment for Node

rust-analyzer

A Rust compiler front-end for IDEs

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

saga-login-flow

A login/register flow built with React + Redux Saga

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

samurai

ninja-compatible build tool written in C

sanitize-html

Clean up user-submitted HTML, preserving whitelisted elements and whitelisted attributes on a per-element basis. Built on htmlparser2 for speed and tolerance

school-chooser

School choice web app from the genial hackers of Code for DC.

screenshots

shibbyt

Shibby free Tidybt for lofi MacOS desktop backgrounds

slot

Formally verified model checker

smlnj

The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.

socket.io-benchmarking

A framework for testing high concurrency behavior in socket.io

spotify-tui

Spotify for the terminal written in Rust 🚀

spring18

Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018

strict-lambda-calculus

system-f