GNU Guix
☆35Apr 28, 2016Updated 9 years ago
Alternatives and similar repositories for guix
Users that are interested in guix are comparing it to the libraries listed below
Sorting:
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 9 years ago
- mirror of my guix configs☆13Feb 12, 2026Updated last month
- Making Mes.c M2-Planet friendly☆30May 25, 2022Updated 3 years ago
- A repo uploading my work on the GSoC Project of porting Guix and GuixSD to Hurd. [Out of date]☆23Jul 25, 2017Updated 8 years ago
- An embeddable Emacs-like library for GNU Guile Scheme☆115Nov 21, 2013Updated 12 years ago
- GNU Guile☆87Nov 16, 2016Updated 9 years ago
- Obsolete mirror of GNU Guix. Pull requests are ignored. Go to https://codeberg.org/guix/guix instead.☆269Nov 17, 2025Updated 4 months ago
- Server-side blog engine written in Scheme☆30Dec 15, 2023Updated 2 years ago
- Easily manage PPAs☆20Jan 22, 2026Updated last month
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 4 years ago
- C90で頒布した "Plan 9 Assembler Handbook" の文章データ☆10Aug 14, 2016Updated 9 years ago
- Lua language front-end rebirth on Guile platform☆27Jun 5, 2018Updated 7 years ago
- Minimalist-lisp interpreter implementation for UNIX-like systems.☆12Mar 14, 2015Updated 11 years ago
- Abaco for plan9port☆13Mar 28, 2021Updated 4 years ago
- Mirror of Plan 9 4th Edition from p9f☆14Mar 23, 2021Updated 4 years ago
- Template project for building a Robocode Robot in Clojure☆10May 24, 2021Updated 4 years ago
- public-domain base64 implementation☆16Nov 18, 2021Updated 4 years ago
- Secure Scuttlebutt Implementation Protocols☆24Aug 18, 2023Updated 2 years ago
- S3-native streaming platform. A Kafka alternative with infinite scalability, Kafka-compatible APIs, SQL processing and AI queries. Writte…☆53Updated this week
- This is a mirror of the darcs repository at http://hub.darcs.net/komadori/HsQML☆22Mar 28, 2018Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Smart align block around cursor☆11Jun 23, 2019Updated 6 years ago
- ☆11May 18, 2016Updated 9 years ago
- TypeScript-like theorem prover☆43Apr 30, 2025Updated 10 months ago
- [ARCHIVED] config is now part of go-ipfs repo☆16Mar 9, 2022Updated 4 years ago
- acme without window management☆15Dec 29, 2021Updated 4 years ago
- A PLATO terminal emulator for Plan 9☆16Jul 21, 2021Updated 4 years ago
- Chez Scheme Version 9 User's Guide - Zhcn☆60Nov 28, 2021Updated 4 years ago
- A simple and scalable ledger for financial transactions☆11Jul 16, 2022Updated 3 years ago
- Chez Scheme self hosting executable☆196Aug 9, 2024Updated last year
- A gui packages manager for termux☆23Dec 5, 2022Updated 3 years ago
- Project-wide flycheck errors☆15Oct 31, 2020Updated 5 years ago
- anbox-modules-dkms for kernel - resurrected aur.archlinux.org/anbox-modules-dkms for ongoing maintaining. Next Generation Box Modules DKM…☆24Jan 18, 2022Updated 4 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- CSV to Avro☆10Jun 29, 2021Updated 4 years ago
- web driver (selenium) client for guile☆13Jul 26, 2024Updated last year
- Electronic circuit analysis in Clojure using Modified Nodal Analysis.☆10Jan 27, 2015Updated 11 years ago
- Python modules and tools for manipulating file formats used by Acorn 8-bit computers and emulators.☆12Jul 5, 2022Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago