1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package
;;; Copyright © 2021,2022 Masaya Tojo <masaya@tojo.tokyo>
;;;
;;; This file is part of tojo-tokyo-guix-config.
;;;
;;; tojo-tokyo-guix-config is free software; you can redistribute
;;; it and/or modify it under the terms of the GNU General Public
;;; License as published by the Free Software Foundation; either
;;; version 3 of the License, or (at your option) any later version.
;;;
;;; tojo-tokyo-guix-config is distributed in the hope that it will
;;; be useful, but WITHOUT ANY WARRANTY; without even the implied
;;; warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
;;; See the GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with extract-green-color. If not, see
;;; <http://www.gnu.org/licenses/>.
(define-module (tojo-tokyo packages guile-xyz)
#:use-module (guix packages)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix download)
#:use-module (guix git-download)
#:use-module (guix build-system gnu)
#:use-module (guix build-system guile)
#:use-module (gnu packages)
#:use-module (gnu packages autotools)
#:use-module (gnu packages guile)
#:use-module (gnu packages tls)
#:use-module (gnu packages guile-xyz)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages texinfo))
(define-public guile-r7rs-accel-asc
(package
(name "guile-r7rs-accel-asc")
(version "1.1.0")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://git.tojo.tokyo/r7rs-accel-asc.git")
(commit (string-append "v" version))))
(sha256
(base32
"1q2pb290hyq0s8vq9nf13s2acpgdh6ca38pgi0nv5ahffk4p49hx"))))
(build-system guile-build-system)
(native-inputs
(list guile-3.0 guile-srfi-158))
(propagated-inputs
(list guile-3.0 guile-srfi-158))
(synopsis "This library provides an implementation of the algorithm
called `accel_asc` by Jerome Kelleher, which generates integer partitions
in R7RS")
(description "This library provides an implementation of the algorithm
called `accel_asc` by Jerome Kelleher, which generates integer partitions
in R7RS")
(home-page "https://git.tojo.tokyo/r7rs-accel-asc.git/about/")
(license license:asl2.0)))
(define-public guile-r7rs-pnm
(package
(name "guile-r7rs-pnm")
(version "1.0.0")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://git.tojo.tokyo/r7rs-pnm.git")
(commit (string-append "v" version))))
(sha256
(base32
"1r6m28f2w4kn2fvbv762r3n0hspb5rbwg5fpb336ryj69za7v0fh"))))
(build-system guile-build-system)
(native-inputs
(list guile-3.0))
(synopsis "Library for reading and writing PNM (Portable Any Map) files for R7RS")
(description "R7RS-PNM is a R7RS library for handling PNM (Portable Any Map) files,
providing functionality for reading and writing PNM files,as well as
accessing and modifying pixel data.")
(home-page "https://git.tojo.tokyo/r7rs-pnm.git/about")
(license license:lgpl3+)))
(define-public extract-green-color
(package
(name "extract-green-color")
(version "2.0.0")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/extract-green-color/"
"extract-green-color-" version ".tar.gz"))
(sha256
(base32
"0785hr860hdsbcm54qhm432mvkjdwb4nwdhz88v9p1c53cvbnq5q"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
("automake" ,automake)
("pkg-config" ,pkg-config)
("texinfo" ,texinfo)))
(inputs
`(("guile" ,guile-2.2)))
(propagated-inputs
`(("guile-cv" ,guile-cv)))
(synopsis "Extract green color from a photo of LCD Writing Tablet")
(description "This package provides script to extract green color
from a photo of LCD Writing Tablet.")
(home-page "https://git.tojo.tokyo/extract-green-color.git")
(license license:gpl3+)))
(define-public guile-sicp-picture-language
(package
(name "guile-sicp-picture-language")
(version "0.2.2")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/guile-sicp-picture-language/"
"guile-sicp-picture-language-" version ".tar.gz"))
(sha256
(base32
"1dkdz706fbj73bh8asbicjr0bm16wmfj4csvryhi5gfylxl6xay5"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
("automake" ,automake)
("pkg-config" ,pkg-config)
("texinfo" ,texinfo)))
(inputs
`(("guile" ,guile-3.0)))
(propagated-inputs
`(("guile-picture-language" ,guile-picture-language)))
(synopsis "SICP's picture language for Gulie")
(description "This package provides an implementation of SICP
picture language for GNU Guile.")
(home-page "https://git.tojo.tokyo/guile-sicp-picture-language.git")
(license license:gpl3+)))
(define-public guile-vikalpa
(package
(name "guile-vikalpa")
(version "0.3.5")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/vikalpa/"
"vikalpa-" version ".tar.gz"))
(sha256
(base32
"1lawsfy7a03awrzyxa6zivgl5zhz19f1n6cdlwmb3i3k9kdwdpj5"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
("automake" ,automake)
("pkg-config" ,pkg-config)
("texinfo" ,texinfo)))
(inputs
`(("guile" ,guile-3.0)))
(synopsis "Proof assistant for GNU Guile")
(description "Vikalpa is a proof assistant inspired by J-Bob.")
(home-page "https://git.tojo.tokyo/vikalpa.git")
(license license:gpl3+)))
|
