Discover relrod/prelim-semigroup Open Source project

An OpenShift Quickstart template for Facebook's Phabricator.

111

phabricator-openshift-quickstart

Shell

phabricator-ansible

Ansible playbooks for Phabricator installations.

Erlang

rublets

An IRC bot that uses SELinux Sandboxes to let you evaluate code in a large number languages.

My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.

Coq

pureio-java

Various experiments with purely functional I/O in Java using free monads (and trampolines).

Java

tryidris-android

Android app for accessing the tryidris.org API

Google Maps FFI binding for PureScript

purescript-googlemaps

PureScript

A toy STLC implementation.

A ruby gem to interact with Urban Terror servers over UDP.

urbanterror-gem

A Haskell library for working with the DigitalOcean API. Probably horrible.

digitalocean

metric spaces

A principled Scala library for interacting with the tryidris JSON API

dotfiles

My Customized Dotfiles.

Shell

tryidris-scala

A whois library for Haskell.

whois-hs

socdiff

A rubygem for communicating with the Raspberry Pi's GPIO pins.

rpi_gpio-gem

EighthBit IRC Network Website

eighthbit-website

The Fedora Hosted request system. Now on Fedora Hosted.

fedorahosted

This is an unofficial IRC Bot which allows for fetching FreeBSD information such as Problem Reports and information about ports.

FreeBSD-bot

A client to Google Calculator in Scala using JSoup.

GoogleCalculator-scala

A set of parsing combinators for various bioinformatics sequencing formats using the `parsers` library.

bioparse

facebookcl

Facebook Command Line

A modular bot framework on top of discord-haskell.

cordial

blink

blink irc bot

Python IRC Bot (and library)

pib

redtape

redtape: An experimental, community-focused, self-service portal for FreeIPA deployments.

A small Haskell program to apply GitHub gitignores (https://github.com/github/gitignore) to existing repos.

gitignore

An IRC bot that reports information about Urban Terror servers.

bam

PEP440 version parsing library for Rust, WIP

pep440-rs

Rust

yph-evalbot

A simple eval bot using Docker for YPH Slack.

b4/gewt's bot, which I am doing some work on.

b4bot

A purely functional IRC library in Scala.

pureirc

Implementation of the Spritz RC4-like stream cipher in Haskell

spritz

A ruby library to parse and generate ham radio Cabrillo log files.

cabrillo-gem

An MLA-Formatter written in PHP.

WebCite

PHP

wipl

Perl-based Wikipedia IRC Bot. Unofficial by all means.

An almost-direct port of Brent Yorgey's "split" package to Idris.

idris-split

Idris

IoRC

An Io IRC Bot with pretty syntax :)

pkgbot

An IRC bot that lets you query the package database of many distributions/repositories.

A RubyGem to access the JSON view of Callook.info.

callsign-gem

A bot to translate lojban to english and vice versa, using a web API.

lojban-bot

An IRC bot in Scala using PircBot.

hax

Weather Underground Parser in Python

PyUnderground

ansible user testing - testing ansible's user-facing release artifacts (probably not useful to most people)

aut

Haskell types for the Pokemon Go protobuf API

pokemon-go-protobuf-types

A fork of FreeOTP (with intention of offering these patches to upstream)

FreeOTP-fork

Java

Potato

A minimalistic web framework for Io.

spike

IRC Bot written in Pike

papers

This is a heavily modified fork of ocharles/papers

Pong

A game of pong, made with pygame

A simple shell for me to play around with C :) - and yes the name is a pun of 'c shell' and 'c hell'.

chell

Scalircd

An experimental IRCD in Scala.

csci5807

My projects for YSU CSCI 5807: Compiler Design

A Chess eXperiment - Might one day be a rough Chess engine implementation.

A CommandLine Client for Administrating Urban Terror Servers. Pronounced "er-tee."

urty

dd-wrchart

Generate graphs of bandwidth usage from DD-WRT's traffic backup functionality.

A modern, LaTeX-supporting pastebin.

texified.org

A *simple* database migration tool.

dbm

A port of CodeBlock/FreeBSD-bot to Python and Twisted

PyBSD

Experiments from John Harrison's "Handbook of Practical Logic and Automated Reasoning" book.

HPLAR

A RubyGem to access the FAS/Fedora Accounts System JSON API.

relrod

fas_account-gem

ircfecta

An IRC log parser for Haskell using Trifecta

A Haskell library for doing things with frequencies (in the RF sense).

frequency

A Haskell library for playing around with ext2 filesystems. Don't rely on it.

ext2

Leaderboard for YSU Math Problem of the Week

pow-leaderboard

My playbox for Google Go experimentation.

go-playbox

yphgreet

A stupidly simple Slack greet bot for YPH.

One-off scripts and things.

wsjt-x-fork

wsjt-x with some fixes

C++

oneoff

An IRC bot written in haskell

haskell-IRC-bot

Very low-level FFI bindings to codec2 from Haskell.

bindings-codec2

"sixty-eight oh-nine" - an assembler and simple VM for the moto 6809.

seon

Run a weekly GitHub Action to log in to OHARC trivia.

oharc-trivia-login

JavaScript

dagd-snap

A rewrite of da.gd using Haskell+Snap

A Haskell interface to the Fedora Copr system (http://copr.fedoraproject.org/)

copr-hs

`python -m SimpleHTTPServer` but in Haskell via Snap

snappy

A very minimalistic set of IRC services written for Charybdis IRCD in Scala.

SimpleServ

A very simple CLI to whois-hs.

hwhois

An IRC bot in PHP just for prototyping ideas/playing around

toybot

gentoo-laptop

Configs for my Gentoo laptop

Erlang server/client chat, just for practice.

ChatEr

simplicity-mvc

An MVC Framework in Io.

SSTV-hs

A library for generating Slow Scan TV modulation from Haskell.

Haskell interface to Fedora's mdapi

mdapi-hs

A collection of scripts too complex to be simple bash functions.

shellhell

A command-line interface to the Fedora pastebin

Euler

My Euler Solutions

fedpaste

Baddog's irc bot containing various fun projects. Or something.

bonehead

Playing around with continued fractions for doing exact real arithmetic.

cfplayground

Generate SVGs of graphs of your typeracer WPMs.

trchart

Provides bioparse instances for biocore typeclasses

bioparse-biocore-instances

A small proxy for generating shields.io badges from Jenkins APIs.

shieldkins

A Scala (and eventual Java) client to Phabricator's Conduit API.

Sconduit

Get an email notification when various things about a list of websites change.

eckchay

A quote database application in RoR.

Neptune-QDB