VictorTaelin

LJSON

JSON extended with pure functions.

optlam

An optimal function evaluator written in JavaScript.

heart

heart

absal-rs

servify

Microservices in the simplest way conceivable.

nano-ipfs-store

Lightweight library to store and get data to/from IPFS

Free-Haskell-Books

A curated collection of free eBooks about Haskell

idris-mergesort-benchmark

Benchmark of the new Idris JS backend

EthFP

nano-persistent-memoizer

Caches a function permanently on browser and node.

nano-sha256

Use native Sha256 on both browser and Node.js

ethereum-publisher-dapp

abstract-calculus

cedilleum-spec

Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core

grenache

DHT based high-performance microservices framework, by Bitfinex

luna-lang-old-abandoned-repo

Typed version of Moon-lang

moon-bignum

Minimalistic bignum library compiled from Moon-lang.

nanocoin

A minimum viable cryptocurrency

piramidex

PotS

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-stuff

Blockchain

blockies

<1k library that generates blocky identicons

codigos

letrinhas

core-stoccer

Stoccer's Core

mist-team

parity-ethereum

The fast, light, and robust EVM and WASM client.

proquint

Proquints: Identifiers that are Readable, Spellable, and Pronounceable.

samples-server

MDN samples server; used for samples that can't be hosted in-place on MDN, plus back-end server-side code for samples that need it.