uemurax/morg uemurax/morg

  • Stars
    star
    18
  • Rank 1,184,161 (Top 24 %)
  • Language
    Racket
  • License
    MIT License
  • Created about 1 year ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
uemurax/morg
github

uemurax

Reviews

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

Repository Details

Organize mathematical thoughts

More Repositories

1

hott-ja

HoTT in Japanese
Racket
31
star
2

synthetic-topos-theory

Racket
11
star
3

satysfi-ncsq

SATySFi package for drawing rectangular diagrams.
JavaScript
6
star
4

helm-mpd

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

uemurax.github.io

3
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