Brian McKenna (puffnfresh)

puffnfresh

Geek Repo

Company:Atlassian

Location:Tasmania, Australia

Home Page:http://brianmckenna.org/

Github PK Tool:Github PK Tool


Organizations
fantasyland
functionaljava
idris-hackers
scala
scalaz

Brian McKenna's repositories

nix-files

My NixOS configuration and custom Nix derivations.

c4-model

Haskell implementation of C4 model, for specifying software architecture

haskell-jwt

JSON Web Token (JWT) decoding and encoding

Language:HaskellLicense:MITStargazers:18Issues:3Issues:4

fp-course

Functional Programming Course

Language:HaskellStargazers:8Issues:5Issues:0

type-algebra

Haskell library for operations on type algebra, e.g. inhabitant counting

Language:HaskellLicense:MITStargazers:6Issues:4Issues:5

bounded-array

Arrays with a value for every index

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

crypto-keys-ssh

Parse SSH keys

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

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:1Issues:3Issues:0

batocera.linux

batocera.linux

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

evsieve

A utility for mapping events from Linux event devices.

Language:RustLicense:GPL-2.0Stargazers:0Issues:2Issues:0
Language:NixLicense:MITStargazers:0Issues:1Issues:0

hakyll

A static website compiler library in Haskell

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

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:0Issues:2Issues:0

json-ld

JSON-LD implementation

Language:HTMLStargazers:0Issues:2Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

linuxkit-builder-1

An easy to use Linux builder for macOS, repo [maintainer=@grahamc]

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:CLicense:MITStargazers:0Issues:2Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:0Issues:3Issues:0

nixified-ai-flake

A Nix flake for many AI projects

License:AGPL-3.0Stargazers:0Issues:0Issues:0

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellLicense:MITStargazers:0Issues:3Issues:0

openfx-supportext

Extensions for the OpenFX Support library

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

papa

Reasonable Haskell default import

Language:HaskellStargazers:0Issues:3Issues:0

plato

Document reader

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

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

RetroArch

Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.

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

seafield-battery

Battery design and code for Seafield

Stargazers:0Issues:0Issues:0

sockdump

Dump unix domain socket traffic with bpf

Language:PythonLicense:UnlicenseStargazers:0Issues:1Issues:0

tickle

Port of Data.Binary with tighter data types and parameterised error messages

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

wasm-spec-gc

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

Language:WebAssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0