MasWag

# Maintainer: Stefan Husmann <[email protected]>
# Maintainer: Clément Démoulins <[email protected]>
# Contributor: Aaron Schaefer <[email protected]>
# Contributor: Masaki Waga <[email protected]>

pkgname=spot
pkgver=2.12
pkgrel=1
pkgdesc="A C++17 library for LTL, omega automata manipulation and model checking."
arch=('i686' 'x86_64')

MasWag

# Maintainer: Matthias Volk <m.volk at utwente dot nl>
# Contributor: Masaki Waga <masakiwaga at gmail dot com>
pkgname=carl-storm
pkgver=14.28
pkgrel=1
pkgdesc="The Computer ARithmetic and Logic library for the probabilistic model checker Storm"
arch=(i686 x86_64)
url="https://github.com/moves-rwth/carl-storm"
license=('MIT')
depends=(boost cln eigen ginac gmp)

MasWag

@@latex:\ruby{@@遠き神@@latex:}{、|、|、}@@

MasWag

;; Static Binding
(setq lexical-binding t)
t
(defun addx (x)
  (lambda (y) (+ x y)))
addx
(let ((add10 (addx 10))
      (x 3))
  (funcall add10 5)) ;; 10 + 5 = 15
15

MasWag

(require 'package)
;;;; Add package-archives
(add-to-list 'package-archives
             '("melpa" . "https://melpa.org/packages/") t)
;; Initialize
(package-initialize)

(require 'leaf)

(leaf satysfi-ts-mode

MasWag

;;; copy-mastodon-uris-as-kill.el --- Extract and copy Mastodon URIs to kill-ring -*- lexical-binding:t -*-

;; Copyright (C) 2024 Masaki Waga

;; Maintainer: Masaki Waga
;; Keywords: Mastodon, social, kill-ring

;; This file is NOT a part of GNU Emacs.

;; This program is free software; you can redistribute it and/or modify

MasWag

;; I use Ellama (https://github.com/s-kostyaev/ellama/) to streamline my interactions with LLM. Here's the configuration:
;;
;; Since Ellama relies on ollama (https://ollama.ai/) and its zephyr library (https://ollama.ai/library/zephyr) by default, you need to configure it externally. After downloading ollama, you can obtain zephyr with `ollama pull zephyr`.

(leaf ellama
  :ensure t
  :require t
  :custom
  ;; I use C-c , as the prefix of ollama
  (ellama-keymap-prefix . "C-c ,")

MasWag

# Maintainer: Geballin - Guillaume Ballin <macniaque at free dot fr>
pkgname=robodoc
pkgver=4.99.44
pkgrel=1
pkgdesc="ROBODoc is program documentation tool. It works with many programming languages: For instance C, Pascal, Shell Scripts, Assembler, COBOL, Occam, Postscript, Forth, Tcl/Tk, C++, Java -- basically any program in which you can use remarks/comments."
url="https://rfsber.home.xs4all.nl/Robo/"
arch=('x86_64' 'i686')
license=('GPLv3')
depends=()
optdepends=()

MasWag

(require 'leaf)

;; Define a customizable variable for the inventory file
(defcustom ansible-inventory-file "hosts"
  "The default inventory file for ansible-playbook commands."
  :type 'string
  :group 'user)

(defcustom ansible-connection-password-file nil
  "The file containing the password for the connection."

MasWag

#!/usr/bin/env bash

# Generates an RSS feed for a list of audio files, for consumption by Overcast
# and other podcast players.
#
# Usage:   make-audio-feed TITLE BASE_URL FILE...
# Example: (cd directory && make-audio-feed 'My Audio Files' 'https://your.server/directory/' * > .feed.rss)

set -eu -o pipefail