Render markdown using the github api
emacs module for libgit2
An Emacs 25 module for accessing postgres via libpq.
Company integration for racer
Interact with DigitalOcean from Emacs
Sort python imports
My Cheat Sheets
startedmarsam/cheatsheets
started time in 2 hours
fork graydon/actions-k3s
Github action for spinning up local k3s instance and running kubectl commands
fork in a day
startedcariboulabs/cariboulite
started time in a day
push eventgallais/potpourri
commit sha 2b30c51f65caa8dfeb2977e3e72484ef1324e7cf
[ more ] definition of Arrows for both telescopes
push time in a day
push eventgallais/potpourri
commit sha e981fe4efe89630b8c13e5a26a12ddac379b9d77
[ fix ] no need for mutual definitions in the right nested case
push time in a day
push eventgallais/potpourri
commit sha 07464c4f6d7c60a16372443b83bfb134c43a0b47
[ new ] left & right nested level polymorphic telescopes
push time in a day
fork safareli/dayjs
⏰ Day.js 2kB immutable date-time library alternative to Moment.js with the same modern API
fork in 2 days
fork konn/haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
fork in 2 days
startedalessandrod/aya
started time in 2 days
startedpuhitaku/wicafe
started time in 3 days
Algebraic proof discovery in Agda
fork in 3 days
startedjustinwoo/nix-shorts
started time in 3 days
startedjustinwoo/easy-purescript-nix
started time in 3 days
pull request commentwilbowma/pl-thesaurus
Add entry for "polymorphic instantiation"
I didn't know about this one. How annoying.
comment created time in 3 days
push eventwilbowma/pl-thesaurus
commit sha 49cbc579fa2055fbdacbcd43e0c20a1796844d50
Add entry for "polymorphic instantiation" According to Andras Korvacs, "polymorphic instantiation" is a good alternative to "impredicative polymorphism", due to the confusion with "impredicative universes".
commit sha 95e5ff77cd4d5b95eb721f8190912842b585f467
Add "first-class polymorphism"
commit sha 93221ef7a9441959e07be75a23946d45fbc8a02b
Merge pull request #8 from brendanzab/patch-1 Add entry for "polymorphic instantiation"
push time in 3 days
PR merged wilbowma/pl-thesaurus
According to Andras Korvacs, "polymorphic instantiation" is a good alternative to "impredicative polymorphism", due to the confusion with "impredicative universes".
pr closed time in 3 days
startedsamdphillips/racket-keyring
started time in 3 days
Algebraic proof discovery in Agda
fork in 3 days
created repositorygraydon/ordbog
lossy dictionary codes for accelerated scans
created time in 4 days
startedmlhcmit/edx-materials
started time in 4 days
starteddigikar99/numericals
started time in 4 days