profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/marsam/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

emacsorphanage/gh-md 45

Render markdown using the github api

ksjogo/emacs-libgit2 20

emacs module for libgit2

anse1/emacs-libpq 15

An Emacs 25 module for accessing postgres via libpq.

emacsattic/company-racer 6

Company integration for racer

emacsorphanage/docean 6

Interact with DigitalOcean from Emacs

emacsorphanage/pyimpsort 4

Sort python imports

marsam/cheatsheets 4

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

Guillaume ALLAIS

commit sha 2b30c51f65caa8dfeb2977e3e72484ef1324e7cf

[ more ] definition of Arrows for both telescopes

view details

push time in a day

push eventgallais/potpourri

Guillaume ALLAIS

commit sha e981fe4efe89630b8c13e5a26a12ddac379b9d77

[ fix ] no need for mutual definitions in the right nested case

view details

push time in a day

push eventgallais/potpourri

Guillaume ALLAIS

commit sha 07464c4f6d7c60a16372443b83bfb134c43a0b47

[ new ] left & right nested level polymorphic telescopes

view details

push time in a day

release mirleft/ocaml-x509

v0.14.0

released time in a day

fork snoyberg/rust

Empowering everyone to build reliable and efficient software.

https://www.rust-lang.org

fork in 2 days

fork safareli/dayjs

⏰ Day.js 2kB immutable date-time library alternative to Moment.js with the same modern API

https://day.js.org

fork in 2 days

release konn/haskell-language-server

1.2.0

released time in 2 days

release konn/haskell-language-server

1.2.0-test

released time in 2 days

release konn/haskell-language-server

1.2.0-test

released time 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

MemberEvent

created repositoryjonsterling/coq-domains

created time in 3 days

startedpuhitaku/wicafe

started time in 3 days

fork gallais/agda-fragment

Algebraic proof discovery in Agda

fork in 3 days

created repositorycfcs/nvlist

Sun/Solaris serialization format library

created time 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.

brendanzab

comment created time in 3 days

push eventwilbowma/pl-thesaurus

Brendan Zabarauskas

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".

view details

Brendan Zabarauskas

commit sha 95e5ff77cd4d5b95eb721f8190912842b585f467

Add "first-class polymorphism"

view details

William J. Bowman

commit sha 93221ef7a9441959e07be75a23946d45fbc8a02b

Merge pull request #8 from brendanzab/patch-1 Add entry for "polymorphic instantiation"

view details

push time in 3 days

PR merged wilbowma/pl-thesaurus

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".

+4 -0

0 comment

1 changed file

brendanzab

pr closed time in 3 days

startedsamdphillips/racket-keyring

started time in 3 days

release mui-org/material-ui

v5.0.0-alpha.37

released time in 3 days

fork gallais/agda-fragment

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