Stars
63
Forks
4
Language
Scheme
Last Updated
Jun 13, 2022
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Scheme | 98 | Package definitions for GNU Guix | Apr 01, 2023 | |
| Scheme | 9 | GNU Guix package definitions for proprietary software, or software with unclear licenses. | Aug 12, 2022 | |
| Scheme | 2 | GNU Guix package definitions for ACE or otherwise | Nov 23, 2019 | |
| Scheme | 2 | Custom channel for GNU Guix with our own package definitions | Dec 26, 2021 | |
| Scheme | 2 | This repository contains snapshots of GNU Guix, to be used by [govuk-guix](https://github.com/alphagov/govuk-guix). GNU Guix is … | Jul 18, 2019 | |
| Scheme | 13 | Our GNU Guix system configuration and dotfiles | Sep 02, 2022 | |
| Nix | 28 | A package and module for using GNU Guix on Nix(OS). | Apr 16, 2023 | |
| Scheme | 13 | GNU Guix is a purely functional package manager for the GNU system, and a distribution … | Feb 07, 2022 | |
| Scheme | 7 | A system colorscheme manager for GNU Guix | Apr 17, 2022 | |
| Scheme | 4 | My configuration for Guix package manager and Guix System Distribution | Dec 15, 2022 | |
| Scheme | 4 | my GNU Guix/Emacs/exwm configs and stuff | Apr 30, 2023 | |
| Scheme | 2 | GNU Guix home service for the dtao statusbar with dynamic configuration in Guile Scheme | Feb 16, 2022 | |
| Nix | 6 | A package and module for using GNU Guix on Nix(OS). Kinda more a code dump … | Aug 05, 2021 | |
| Scheme | 8 | This repository is an effort to build ROS with the GNU Guix package manager. | Aug 10, 2022 | |
| Scheme | 2 | Guix profiles and Scheme code for setting up a Lisp-based workstation on top of GNU … | Feb 16, 2024 | |
| Scheme | 9 | GNU Guix home service for the dwl window manager with dynamic configuration in Guile Scheme | Jul 10, 2022 | |
| JavaScript | 2 | mkdocs template using GOV.UK Design System styles | Apr 23, 2024 | |
| Scheme | 2 | My personal Guix System and Home configurations. | Mar 20, 2022 | |
| Scheme | 3 | A configuration framework and collection of useful packages/services for GNU Guix. | Aug 03, 2022 | |
| Ruby | 7 | Serves the Service Manual and Service Toolkit on GOV.UK | Aug 08, 2022 | |
| C | 7 | Repo for software related to Software Systems at Olin College. | Aug 31, 2022 | |
| JavaScript | 5 | GOV.UK front end service built using Node.js for the Water Abstraction service | Jul 10, 2022 | |
| JavaScript | 3 | GOV.UK front end service built using Node.js for the Waste Permits service | Jul 04, 2022 | |
| Shell | 60 | Gentoo overlay for nix and guix functional package managers. | Mar 07, 2023 | |
| None | 21 | Backup script for GNU/Linux systems using rsync and btrfs snapshots | Apr 15, 2022 | |
| CMake | 3 | Message package from the pylon_camera package. Contains action and service definitions of the pylon_camera interface | Jul 14, 2022 | |
| None | 5 | List of legendary papers related to secure software systems | May 06, 2023 | |
| Makefile | 4 | Ramdisk build system for upgradable operating systems based on GNU/Linux | Jan 04, 2021 | |
| None | 2 | ubuntu, debian & fedora package repositories for PDI and related software | Jan 29, 2022 | |
| Vim script | 3 | Configure systems and deploy software by using Ansible. | Dec 21, 2021 | |
| C | 6 | Alternative to GNU coreutils using software from FreeBSD | Feb 09, 2022 | |
| C | 150 | Alternative to GNU coreutils using software from FreeBSD | Apr 26, 2023 | |
| Go | 7 | SPIRE Plugin service definitions and scaffolding | Sep 27, 2022 | |
| JavaScript | 31 | Build websites using the GOV.UK Design System and the Eleventy static site generator. | Aug 15, 2022 | |
| C | 3 | Reimplementation of the Apple LaunchD Bootstrap Service for free-software BSDs and GNU+Linux | May 31, 2022 | |
| Shell | 5 | Dotfiles for any GNU (and maybe non-GNU) system | Apr 30, 2023 | |
| Go | 2 | Restores dotfiles and other system configuration files using declarative definitions. | Feb 07, 2023 | |
| Shell | 2 | Chef Habitat package to run the Habitat Supervisor as a system service on Linux systems | Jan 27, 2023 | |
| C | 2 | New build system for PIC32Prog using GNU AutoTools | Jan 12, 2021 | |
| None | 197 | Topics and resources related to distributed systems, system design, microservices, scalability and performance, etc | Sep 13, 2022 | |
| Scheme | 3 | A simulator for Braitenberg vehicles, as described by A. K. Dewdney. | May 30, 2020 | |
| Scheme | 4 | Guix channel with some packages that I use | Mar 18, 2022 | |
| Scheme | 4 | A compiler for Eior which is just like scheme | Mar 27, 2018 | |
| Scheme | 4 | Repository voor Respec/Markdown documenten voor Toepassings Profiel Omgevings Documenten (TPOD) | Jan 10, 2022 | |
| Scheme | 4 | None | Jul 24, 2022 | |
| Scheme | 4 | Automatically exported from code.google.com/p/cpscm | Jun 19, 2022 | |
| Scheme | 4 | Purely-functional Object-Oriented System - The present code implements a classless, delegation-based OO system, similar to … | Jan 16, 2022 | |
| Scheme | 4 | Organiseren van gebiedsniveaus | Dec 13, 2021 | |
| Scheme | 4 | Documentation for the digiKam photo management application | Dec 07, 2021 | |
| Scheme | 4 | The WeScheme server compiler | Jun 14, 2019 |