@grastello
github

grastello

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    55
  • Global Rank 319,043 (Top 11 %)
  • Followers 14
  • Following 11
  • Registered almost 7 years ago
  • Most used languages
    TeX
         50.0 %
    Emacs Lisp
         25.0 %
    Common Lisp
         25.0 %

Top repositories

1

ytel

Youtube "front-end" for Emacs
Emacs Lisp
48
star
2

grothendieck-galois

Notes on Grothendieck's categorical interpretation of Galois Theory
TeX
1
star
3

elizabot

A toy ELIZA implementation as a Telegram bot
Common Lisp
1
star
4

mitchell

Introductory notes to abelian categories, with a proof of Mitchell's embedding theorem (and some homological algebra)
TeX
1
star