# Developer

### Discover the Rchain Cooperative

## Intro to Design of Computational Calculi 1: Mathematical models of grammar

To design computational calculi for specific applications, we must first understand what constitutes a computational calculus. The RhoVM is based on the concurrent computational calculus known as reflective, higher-order calculus, or ρ-calculus for short.

## Computational calculus primer Part 3: ρ-calculus

The ρ-calculus is an asynchronous message-passing calculus built on a notion of quoting; it is a closed theory, as the theory of names is wholly determined by the theory of processes. The name ρ-calculus or RHO-calculus is an acronym for reflective, higher-order calculus.

## RChain and Raspberry Pi: Coin faucet part 1

This is the first of five articles about a project using RChain deployed to Raspberry Pi 3, interacting with phones in the local area over Bluetooth LE 4.

## Computational calculi primer Part 2: π-calculus

Pi-Calc is a model of concurrent computation, or more specifically, a process calculus based upon a notion of naming. In a process calculus, we represent interactions between independent agents or processes as message-passing, as opposed to modifications of shared variables (as in λ-calculus).

## Computational calculi primer Part 1: Lambda calculus & BNF

This article covers some of the basics of computational calculi, like the syntax and semantics of λ-calculus, π-calculus, and the model RChain is built on, ρ-calculus.

## Start coding in Rholang today!

If you've actually tried to code in Rholang, you may have noticed the reference material is sparse. That doesn’t mean it’s difficult, and you don’t have to wait to begin learning how to program for this new blockchain.

## Running RNode on Amazon AWS (EC2)

This is a step by step guide to run RNode on Amazon Web Services. Setting up RNode on a VPS or a cloud service based virtual computer like the Amazon EC2 is desirable for users who are not able to set port forwarding or UPNP due to various network setups or for users who might want to run RNode for long periods

## Running RNode (v 0.6.x) with Docker

In this tutorial, you will learn how to 1) install setup and Docker, 2) download and set up three RNodes, and 3) create a simple Hello World contract to deploy on your own local platform.

## Introduction to rho calculus

This post is to help everyone get a basic understanding of Reflective Higher-Order Calculus (rho-calc), and understand why RChain uses this calculus model to build and solve blockchain scalability and security.