emh
0 Followers · 0 Following
  • Joined on 2022-04-10
Repositories
13
 Projects Packages Public Activity Starred Repositories
emh pushed to master at emh/dotfiles 2022-12-12 00:13:45 -05:00
32c8859c45 tex
emh pushed to master at emh/dotfiles 2022-12-08 21:26:47 -05:00
60074da995 ranger
emh pushed to master at emh/dotfiles 2022-12-08 18:05:51 -05:00
365627df04 tex frame
emh pushed to master at emh/dotfiles 2022-12-04 23:37:59 -05:00
581930e793 ye
emh pushed to master at emh/dotfiles 2022-12-04 16:32:30 -05:00
efe2f09b17 spell
emh pushed to master at emh/dotfiles 2022-12-04 16:04:52 -05:00
d156927fab figures
emh pushed to master at emh/dotfiles 2022-12-04 16:02:25 -05:00
281f24e002 tex stuff #2
emh pushed to master at emh/dotfiles 2022-12-04 01:27:51 -05:00
2b1536fb4b simple notes
emh pushed to master at emh/dotfiles 2022-11-21 00:05:59 -05:00
d2910d5884 clean up
emh pushed to master at emh/dotfiles 2022-11-19 14:46:17 -05:00
c76364784e time reset
emh synced commits to master at emh/smallint from mirror 2022-11-18 04:21:39 -05:00
5bea89295d improve ops.rs, rename BigUint::from_smallint_unsigned to SmallInt::unsigned_abs, etc.
c392ba8633 stuff
Compare 2 commits »
emh pushed to master at emh/fserve 2022-11-15 23:17:48 -05:00
c15f3dc20b changes
emh pushed to master at emh/fserve 2022-11-15 22:56:15 -05:00
66a0ee8543 changes
emh pushed to master at emh/fserve 2022-11-15 22:45:09 -05:00
c8cae433e2 first
emh created branch master in emh/fserve 2022-11-15 22:45:09 -05:00
emh created repository emh/fserve 2022-11-15 22:44:21 -05:00
emh pushed to master at emh/dotfiles 2022-11-09 19:09:55 -05:00
6b182fc571 beamer themes
emh pushed to master at emh/dotfiles 2022-11-08 21:42:55 -05:00
d0ea6f9e32 tex mf
emh pushed to master at emh/dotfiles 2022-11-08 20:32:55 -05:00
914b98ff69 no coq for latex
emh pushed to master at emh/dotfiles 2022-10-29 17:27:47 -04:00
5989e4213d update pngtex