mbloms Goto Github PK

adventofcode2019

artwork-breath

aur

AUR packages I maintain.

aur-remarkable

Remarkable - The Markdown Editor for Linux http://remarkableapp.github.io

aurweb

Fork of

cafebabe

Tiny Scala library to generate class files for the JVM

copterplant

dotty

Research platform for new language concepts and compiler technologies for Scala.

dotty-community-build

Dotty Community Build

garbage-to-gold

haskell-sandbox

Mix of small haskell programs, mostly tests of ideas and solution of kattis problems.

intent

Test framework for Dotty

it-appears-to-be-jammed

Traffic (jam) simulation

keybase-client

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

lacasa

Lightweight affine types and object capabilities in Scala

listbuilder

lostfiles

Simple script that identifies files not owned by any Arch Linux package.

miredo

ncurses

ncurses patched for sbt<0.13.16

neytiri

parallel-skew-heap

Parallel skew heap tutorial in Haskell

political-tag-cloud---index-service

One of three parts in the pipeline of the Political Tag Cloud project.

punkt0-compiler

punkt0-compiler written in the Haskell dialect Frege.

quicksave

Quicksave before doing something stupid.

rumor

A simple gossip protocol.

smash

Script MAnager for SHell scripts

snell

The kind (s[nh]ell) scipting language.

spores

Scala Spores, safe mobile closures.

state

stellar-core

stellar-core is the backbone of the Stellar network. It maintains a local copy of the ledger, communicating and staying in sync with other instances of stellar-core on the network. Optionally, stellar-core can store historical records of the ledger and participate in consensus.