wallix / PEPS-sourceLinks
Source code of MLstate/PEPS
☆7Updated 9 years ago
Alternatives and similar repositories for PEPS-source
Users that are interested in PEPS-source are comparing it to the libraries listed below
Sorting:
- Provision Docker images using Nix☆279Updated 10 years ago
- Opa port of the TodoMVC app☆24Updated 13 years ago
- Server component of Passopolis (formerly Mitro)☆79Updated 9 years ago
- ☆9Updated 9 years ago
- A git-annex special remote for hubiC -- UNMAINTAINED☆32Updated 8 years ago
- If you smash it, you get to keep the pieces.☆29Updated 5 years ago
- Vagrant plugin to add nixos guest capabilities and nix provisioning☆65Updated 10 years ago
- Scripts used to create Images on Scaleway - https://github.com/scaleway-community☆117Updated last year
- Cozy Personal Finance Manager☆220Updated 8 years ago
- GPG for Gmail in Chrome and Chromium☆54Updated 5 years ago
- Salvia - Modular Haskell HTTP server.☆24Updated 14 years ago
- The base library of the Midgard Content Repository☆37Updated 2 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 7 years ago
- TLS tunnel -- an alternative to stud / stunnel☆84Updated 2 years ago
- Simple GUI for Bup, a very efficient backup system.☆96Updated 7 years ago
- A dockerfile for etherpad☆64Updated 6 years ago
- Reference implementation of a Tent server in Ruby☆499Updated 8 years ago
- Cluster management☆77Updated 5 years ago
- A CMS in Haskell using Yesod: performant, developer friendly & type safe.☆30Updated 8 years ago
- Integrates your Smartphone in your Desktop☆99Updated 8 years ago
- ABANDONED☆49Updated 8 years ago
- nixpkgs package status, freshness and security status monitor☆40Updated 8 years ago
- The Syncthing command line interface☆89Updated 8 years ago
- TopGit is now maintained at☆95Updated 8 years ago
- Application modules for arkOS☆7Updated 8 years ago
- A streaming real-time event processor based on Riemann written in Node.js -- Streams2/3 edition☆19Updated 8 years ago
- A Tutorial for Ur/Web☆29Updated 9 years ago
- Chat servers. United.☆54Updated 6 years ago
- Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.☆18Updated 9 years ago
- Micro-blogging engine☆57Updated 11 years ago