Codeblock's Projects

codeblock/prometheus-exporters

Prometheus exporters that I want packaged but have yet to be. Note that these builds do access the internet at build-time and pull some arbitrary dependencies from systems such as go get.
  • Epel for CentOS 7 : x86_64

codeblock/el7-backports

Packages that I want on el7 boxes that are only in Fedora, or are significantly newer in Fedora.
  • Epel for CentOS 7 : x86_64

codeblock/Swift

The Swift Programming Language Swift is a high-performance system programming language. It has a clean and modern syntax, offers seamless access to existing C and Objective-C code and frameworks, and is memory safe by default. Although inspired by Objective-C and many other languages, Swift is not itself a C-derived language. As a complete and independent language, Swift packages core features like flow control, data structures, and functions, with high-level constructs like objects, protocols, closures, and generics. Swift embraces modules, eliminating the need for headers and the code duplication they entail.

codeblock/docker-compose

A newer docker-compose for Fedora 25.

codeblock/fas3

fas3 test builds
  • Epel for CentOS 7 : x86_64

codeblock/cava

C.A.V.A. is a bar spectrum analyzer for audio using ALSA for input.

codeblock/modern-paste

Modern Paste + unbundling of submodule dependencies.

codeblock/coq-epel

An attempt at building Coq for EPEL
  • Epel for CentOS 7 : x86_64

codeblock/lean

The Lean theorem prover

codeblock/ghc-lens-attempt2

A temporary repository for the Haskell lens package (and some related packages and dependencies), until they can be package officially. (* Builds MUST happen in this order, but they can be submitted in groups as separated below: ghc-transformers-compat ghc-base-orphans ghc-tagged ghc-bifunctors ghc-distributive ghc-StateVar ghc-contravariant ghc-comonad ghc-semigroupoids ghc-profunctors ghc-free ghc-adjunctions ghc-kan-extensions ghc-lens ghc-lens-aeson *)