Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)
☆20Nov 26, 2021Updated 4 years ago
Alternatives and similar repositories for auron
Users that are interested in auron are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17May 8, 2014Updated 11 years ago
- Modularized configuration for a NixOS system☆42Dec 19, 2018Updated 7 years ago
- ☆10Jan 18, 2019Updated 7 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Life is too short for bullshit jobs. Wisely invest the 2,000 hours a year you spend at work. Use StartupIntel to discover tech startups t…☆10Jul 22, 2023Updated 2 years ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- Template Project for Python Development in Nix. This project requires a specific configuration.nix: https://github.com/monadplus/nixconfi…☆14May 2, 2020Updated 5 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Tiny Standup Bot for Slack☆12Jun 14, 2018Updated 7 years ago
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- Kyiv Haskell User Group Info☆13Feb 6, 2020Updated 6 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Feb 4, 2017Updated 9 years ago
- Golang memory devices information☆15Aug 14, 2020Updated 5 years ago
- a docker client for cats☆12Dec 1, 2022Updated 3 years ago
- nixpkgs development utility☆21Oct 13, 2019Updated 6 years ago
- wpa supplicant control interface wrapper for rust☆10May 10, 2025Updated 10 months ago
- Tiny browser extension that brings back the actual twitter logo and gets rid of the Doge dog from the upper left corner☆16Sep 2, 2024Updated last year
- Export Python AST to JSON☆25Jun 19, 2021Updated 4 years ago
- A ClojureScript wrapper library for TensorFlow.js☆10Oct 7, 2018Updated 7 years ago
- ☆40Oct 18, 2024Updated last year
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- Drone plugin for deploying stacks in Docker Swarm☆13Mar 26, 2022Updated 3 years ago
- CDF FAQ☆12Aug 16, 2022Updated 3 years ago
- Applitools SDK for Storybook. This repository is deprecated. It has moved to https://github.com/applitools/eyes.sdk.javascript1/tree/mast…☆13Feb 20, 2020Updated 6 years ago
- Integration Jenkins pipeline functions☆10Dec 2, 2025Updated 3 months ago
- Scripts to build ManageIQ appliances☆10Updated this week
- Write container images as NixOS machines☆66Feb 7, 2022Updated 4 years ago
- Clojure code editor wrapping Flense☆22May 8, 2015Updated 10 years ago
- an extremely tight lint config supporting TypeScript, React, Jest, and Ramda.☆10Jul 27, 2023Updated 2 years ago
- Server Mission Files for Pripyat☆13Feb 15, 2024Updated 2 years ago
- HTML5 map with OpenWiFiMap data☆27May 15, 2021Updated 4 years ago
- Minimalistic Docker UI based on Flask, docker-py and w2ui☆14Dec 8, 2022Updated 3 years ago
- Horus is a distributed tool to collect snmp and icmp metrics from various network equipments and send the results to kafka, NATS.io, prom…☆20May 22, 2025Updated 10 months ago
- Go Bindings for Rancher-metadata service☆12Mar 11, 2020Updated 6 years ago
- Docker wrapper for rpmbuild☆17Feb 9, 2016Updated 10 years ago
- Go package providing various error handling primitives.☆31Jun 9, 2023Updated 2 years ago
- Deprecated! Applitools Eyes Ruby SDK for Selenium WebDriver☆11Mar 13, 2018Updated 8 years ago
- A higher-level wrapper around the Github API. Intended for the browser.☆15Mar 17, 2022Updated 4 years ago
- CIS Benchmark for Server Hardening RHEL Ubuntu☆13Apr 6, 2018Updated 7 years ago