Pinned Repositories
afp-assignments
afp-assignments
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-build
agda-contracts
drunken-ants
Our little (drunken) ants.
pinch-gen
tasty-silver
A fancy test runner for tasty and support for golden tests.
phile314's Repositories
phile314/tasty-silver
A fancy test runner for tasty and support for golden tests.
phile314/pinch-gen
phile314/agda
Agda is a dependently typed programming language / interactive theorem prover.
phile314/agda-build
phile314/agda-prelude
Programming library for Agda
phile314/django-foundation-form
Reusable Django app for display zurb foundation forms
phile314/easy-random
The simple, stupid random Java beans/records generator
phile314/ekg
Remote monitoring of running processes over HTTP
phile314/fprod-stm-bank
Modul Fprod - STM Bank in Haskell
phile314/grin
GRIN is a compiler back-end for lazy functional languages with whole program optimisation support
phile314/hail
A service for pull-based continuous deployment based on hydra.
phile314/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
phile314/hercules
Continuous Integration for Nix projects
phile314/hs-connection
simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.
phile314/hw-kafka-client
Kafka client for Haskell, including auto-rebalancing consumers
phile314/hydra
Hydra, the Nix-based continuous build system
phile314/language-thrift
Haskell parser for the Thrift IDL format.
phile314/librdkafka
The Apache Kafka C/C++ library
phile314/morph
NixOS deployment tool
phile314/nix
Nix, the purely functional package manager
phile314/nixpkgs
Nix Packages collection
phile314/opaleye-gen
A lightweight program to generate Opaleye boilerplate from a database
phile314/pi-ci
phile314/pinch
A serialization library for Haskell that provides support for Apache Thrift.
phile314/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
phile314/slimserver
Server for Logitech Squeezebox players. This server is also called Logitech Media Server
phile314/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
phile314/thrift
Apache Thrift
phile314/token-bucket
Haskell rate limiter library using lazy token bucket algorithm
phile314/zip-stream
Streaming Zip library for scalaz-stream.