https://github.com/nekketsuuu/satysfi-matrix

Math matrix library for SATySFi

hacktoberfest satysfi

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/tapis

Termination analyzer of π-calculus processes by reduction to sequential programs

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/lambda2pi

λ → π

golang lambda-calculus pi-calculus

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/satysfifilter

Pandoc filter to add compiled result of SATySFi

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/SatysfiFilter

Pandoc filter to add compiled result of SATySFi

Last synced: 02 May 2025

https://github.com/nekketsuuu/satysfi-my-soul

Website for SATySFi snippets

markdown pandoc satysfi site-repo typesetting website

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/cook-container

a toy container which uses overlayfs

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/cook-container-tutorial

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/palette-generator

Palette generator for VoxelShop

color color-palette dominant-colors voxel

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/ocaml_travis_ci

Travis CI benchmarks for OCaml

benchmark ocaml travis-ci

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/processing-practice

Processingを書く練習用です。

processing processing-language

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/opensiv3d-dockerfiles

Dockerfiles for OpenSiv3D

docker siv3d

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/haribote

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/superchat

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/pandocpagetitle

Pandoc filter to set pagetitle automatically

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/ubuntu-unity-switch-tablet

My script to enable tablet mode on Ubuntu

ubuntu ubuntu-unity

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/rill-dockerfiles

[Deprecated] Dockerfiles for the Rill Programming Language

dockerfile rill

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/nbe

Normalization by Evaluation

lambda-calculus

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/config

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/act-test

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/icons

my icons

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/boost-dockerfiles

Dockerfiles for Boost C++ Libraries

boost docker

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/act-dockerfiles

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/git-wiki-from-template

Example git-wiki, generated using Drassil/git-wiki-theme as a template

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/git-wiki-sandbox

My personal sandbox of https://github.com/Drassil/git-wiki-theme

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/git-wiki-70-noescape

PoC of https://github.com/Drassil/git-wiki-theme/issues/70

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/git-wiki-70-escaped

PoC of https://github.com/Drassil/git-wiki-theme/issues/70

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/example

Empty repository as an example

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/actions-sandbox

My personal testing repository for GitHub Actions

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/conf-ruby

Clone of conf-ruby in ocaml/opam-repository for testing

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/conf-wget-alpine

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/emoji-color

Tool to design coloring of Discord emoji

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/nekketsuuu.github.io

nekketsu^ω

blog slides

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/testing-lecture-dockerfiles

private Dockerfile for a lecture of testing

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/twitter

/dev/null

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/testing-dockerfiles

My testing environment

Last synced: 01 Mar 2025

https://github.com/nekketsuuu/vtuber-links

Links to VTubers

Last synced: 01 Mar 2025