alexbyrnes

maineballot

The goal of MaineBallot.org is to provide concise, non-partisan information to make it easy to understand the ballot questions pending in Maine.

grin-wallet

Grin Wallet

grin

Minimal implementation of the Mimblewimble protocol.

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

scala3

The Scala 3 compiler, also known as Dotty.

awesome-scala-native

Compilation of Scala Native resources and libraries

mu-scala

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

rsc

Experimental Scala compiler focused on compilation speed

Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

inox

Solver for higher-order functional programs, used by Stainless

stainless

Verification framework and tool for higher-order Scala programs

leon

The Leon system for verification, synthesis, repair

v3

Sireum v3

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional programming

scala-native

Your favorite language gets closer to bare metal.

python-prompt-toolkit

Library for building powerful interactive command line applications in Python

pyley

Python package for an open-source graph database Cayley

openfda

openFDA is an FDA project to provide open APIs, raw data downloads, documentation and examples, and a developer community for an important collection of FDA public datasets.

figshare

Command line client for figshare

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

blaze

NumPy and Pandas interface to Big Data

streamtools

tools for working with streams of data

d3po

nytinteractive

NYT Interactive Graph recreated with rCharts and Polycharts

pelican

Static site generator that supports Markdown and reST syntax. Powered by Python.

pyp

Pyed Piper with -L (large input file) flag

xo

exofrills text editor

fec-standardizer

An experiment to standardize individual donor names in campaign finance data using simple graph theory and machine learning.

Fech

Deprecated. Please see https://github.com/dwillis/Fech for a maintained fork.