uemurax/uemurax.github.io uemurax/uemurax.github.io

  • Stars
    star
    3
  • Rank 3,892,710 (Top 79 %)
  • Language
  • Created almost 3 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
uemurax/uemurax.github.io
github

uemurax

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

hott-ja

HoTT in Japanese
Racket
31
star
2

morg

Organize mathematical thoughts
Racket
18
star
3

synthetic-topos-theory

Racket
11
star
4

satysfi-ncsq

SATySFi package for drawing rectangular diagrams.
JavaScript
6
star
5

helm-mpd

Emacs-helm interface for music player daemon
Emacs Lisp
5
star
6

my-icon

TeX
1
star
7

helm-pacman

Emacs Lisp
1
star
8

satysfi-arrows

JavaScript
1
star
9

latex-macros

TeX
1
star
10

docker-texlive-ja

Dockerfile
1
star
11

dot-xmonad

Haskell
1
star