Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
45 changes: 16 additions & 29 deletions guix.scm
Original file line number Diff line number Diff line change
@@ -1,41 +1,28 @@
;; SPDX-License-Identifier: MPL-2.0
;; (PMPL-1.0-or-later preferred; MPL-2.0 used for ecosystem compatibility)
;; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
;;
;; Guix development environment for developer-ecosystem.
;; Guix development environment.
;; Usage: guix shell -D -f guix.scm
;;
;; This provides tooling for all sub-ecosystems:
;; ada, coq, deno, idris2, julia, rescript, v-lang, zig

(use-modules (guix packages)
(guix build-system gnu)
(gnu packages node)
(gnu packages idris)
(guix licenses)
(gnu packages base)
(gnu packages bash)
(gnu packages base)
(gnu packages java)
(gnu packages rust)
(gnu packages cmake)
(gnu packages zig)
(gnu packages julia)
(gnu packages coq)
(gnu packages ada)
(gnu packages ocaml)
(gnu packages pkg-config))
(gnu packages golang)
(gnu packages node)
(gnu packages python))

(package
(name "developer-ecosystem")
(version "0.1.0")
(source #f)
(build-system gnu-build-system)
(native-inputs
(list deno
idris2
zig
julia
coq
gnat
opam
pkg-config))
(synopsis "Hyperpolymath developer ecosystem monorepo")
(description
"Monorepo containing ecosystem tooling for Ada, Coq, Deno, Idris2,
Julia, ReScript, V-lang, and Zig sub-ecosystems with shared FFI
bindings and aggregate library infrastructure.")
(license #f))
(inputs (list coreutils bash make openjdk rust cmake zig go node python))
(synopsis "developer-ecosystem")
(description "developer-ecosystem — part of the hyperpolymath ecosystem.")
(home-page "https://github.com/hyperpolymath/developer-ecosystem")
(license ((@@ (guix licenses) license) "MPL-2.0" "https://github.com/hyperpolymath/palimpsest-license")))
Loading