Discover relrod/fedorahosted 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

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

prelim-semigroup

Semigroup

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