Michael Bishop's repositories

nixos-installer

A graphical interface for partitioning, generation of configuration files, and installation of NixOS. Has a web interface; the server uses C++ and Qt, the client uses JS and qooxdoo.

Language:C++Stargazers:30Issues:5Issues:0

fusenar

A program that mounts a NAR (Nix Archive) archive as a filesystem using FUSE. This repo is written in C++; it has now been rewritten in Haskell (https://github.com/taktoa/narfuse).

Language:C++Stargazers:22Issues:5Issues:0

OC-os

a random side-project from may of 2015

Language:LuaStargazers:2Issues:0Issues:0

bitcoin-experiment

a random bitcoin node i threw together years ago to learn the protocol

Stargazers:1Issues:0Issues:0

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

Language:HaskellLicense:MITStargazers:1Issues:2Issues:0

hello_smi

An attempt at getting the Secondary Memory Interface (SMI) on the Raspberry Pi working.

Language:CStargazers:1Issues:0Issues:0

iohk-nixops

NixOps deployment configuration for Cardano SL

Language:NixStargazers:1Issues:0Issues:0

ipxe

iPXE network bootloader. This is a mirror of the iPXE git tree at http://git.ipxe.org/ipxe.git

Language:CLicense:NOASSERTIONStargazers:1Issues:0Issues:0

iscsi-boot

Nix expressions for booting NixOS over iSCSI.

Language:NixStargazers:1Issues:0Issues:0
Stargazers:1Issues:0Issues:0
Language:HaskellStargazers:1Issues:0Issues:0

builder

Build scripts for the server

Language:NixStargazers:0Issues:0Issues:0

FERemoteClient

External client for integrating with FE's remoting functionality

Language:JavaStargazers:0Issues:0Issues:0

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Growing-Trees

Minecraft Forge mod providing trees that grow and forests that spread.

Language:JavaLicense:UnlicenseStargazers:0Issues:0Issues:0

HaNS

The haskell network stack

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

lamdu

lamdu - towards the next generation IDE

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

lou

Android and SWT (desktop) clients for Lord of Ultima. This repo also contains a Java library, which I reverse-engineered from the browser client, that exposes the LoU protocol.

Language:JavaStargazers:0Issues:0Issues:0

mantis

A Scala based client for Ethereum Classic.

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

minecolonies

Minecolonies minecraft mod

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

network

Personal servers and also my router config.

Language:PHPLicense:MITStargazers:0Issues:0Issues:0

newlib-vc4

Newlib with VideoCore4 bits.

License:GPL-2.0Stargazers:0Issues:0Issues:0
Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

Subete-ga-F-ni-naru-ED

tools for "Subete ga F ni naru" Ending

Language:ProcessingLicense:MITStargazers:0Issues:0Issues:0

toxcore

The future of online communications.

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

toxecho

Tox echo bot

Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

xmobar

A minimalistic text-based status bar

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0