aiya000

icon indicating a website link https://twitter.com/public_ai000ya icon indicating an email [email protected]

icon location Japan icon location NicoNicoNi~~ 🤟🤟 && にっこにっこにー🤟🙄🤟 Moggiと''love''で接近中! ↓「せつラボ」シリーズを執筆中✨（数学および圏論の初歩入門書） https://aiya000.booth.pm/items/1316747

Results 7 repositories owned by aiya000

aiya000.github.io-old

16
Stars
4
Forks
Watchers

my blog

verified publisher icon aiya000

dotfiles

15
Stars
0
Forks
Watchers

my dotfiles for public.

verified publisher icon aiya000

hs-time-script

48
Stars
1
Forks
Watchers

Time script = Vim script + static typing

verified publisher icon aiya000

nico-lang

31
Stars
0
Forks
Watchers

Nico-lang is the programing language of Nico Yazawa

verified publisher icon aiya000

vim-ghcid-quickfix

30
Stars
5
Forks
Watchers

Increse your Haskell development via ghcid!

verified publisher icon aiya000

vim-quickrepl

19
Stars
0
Forks
Watchers

The Simplest Faster way to open your REPL for filetypes.

verified publisher icon aiya000

hs-zuramaru

16
Stars
1
Forks
Watchers

Lisp方言ずら〜。え！？ これを使えばQuasiQuotesでコンパイル時Lispが書けるずら！？

verified publisher icon aiya000