profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/anlun/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.
Anton Podkopaev anlun NRU HSE, JetBrains Research St. Petersburg, Russia podkopaev.net PhD in CS, Researcher

anlun/compiler-tests 3

Tests for a compiler course assignment.

anlun/compiler-example 2

An example of a repo for a compiler course.

anlun/alloy-mode 1

Emacs major mode for Alloy

anlun/format 1

The pretty printing library based on Anton Podkopaev and Dmitri Boulytchev "Polynomial-Time Optimal Pretty-Printing Combinators with Choice" paper.

anlun/assignments 0

The repository to fork and complete assignments in it.

startedlemmy/ewd998

started time in 2 days

startedwilcoxjay/pretty

started time in 4 days

starteduds-psl/MPCTT

started time in 4 days

startedyugr/Lalambda

started time in 5 days

startedcoq-community/coq-nix-toolbox

started time in 5 days

startedtlringer/thesis

started time in 9 days

startedSpirinEgor/gnn_pretraining

started time in 9 days

startedfizruk/lambda-mu-mu-calculus

started time in 10 days

startedk4rtik/qpl-bib

started time in 11 days

fork conrad-watt/meetings

WebAssembly meetings (VC or in-person), agendas, and notes

fork in 12 days

startedmicrosoft/Ironclad

started time in 13 days

startedclayrat/dialectica

started time in 13 days

startedchsticksel/cvc4-ocaml

started time in 18 days

startedcoryfklein/sw

started time in 19 days

startedocaml-gospel/gospel

started time in 20 days

startedlmcinnes/topic_mapping

started time in 21 days

startedluyang-huang96/LongDocSum

started time in 21 days

startedEduardoRFS/ocaml-jit-example

started time in 23 days

startedShannonAI/mrc-for-flat-nested-ner

started time in 24 days

startedDimasDMM/pyramid

started time in 24 days

startedtlaplus/rfcs

started time in 24 days

startedwill62794/tlaplus_animation

started time in 25 days

startedmatter-labs/awesome-zero-knowledge-proofs

started time in 25 days

startedBinaryAnalysisPlatform/FrontC

started time in 25 days

startedsneeuwballen/zipperposition

started time in a month

startedVSpaceCode/VSpaceCode

started time in a month

startedvolodeyka/coqspec

started time in a month

startedEkdohibs/camlboot

started time in a month

push eventdboulytchev/jb-lab-proceedings

Danya Berezun

commit sha e6bb5976afb233e39e912aaf885afeca3f6e1f52

fix intro; add todos

view details

Danya Berezun

commit sha 1a8f52b43ba3c19945cbd3ec37810b637873645f

intro: small fix

view details

Danya Berezun

commit sha 0a22469302a944053a79b51d0c6a6a9f607bd139

fix 1.1 + add todos

view details

Danya Berezun

commit sha b2e918687da098a44572f7cdc8d87d9b32766f3c

fix 1 chapter + add todos

view details

Danya Berezun

commit sha e18168e2be0ad5e242f49c40c3122e0986fd57d4

some fixed + TODO

view details

NikitaMishin

commit sha 74d27396cc807bd05f80ba6f210814eb4c488582

fixes

view details

danyaberezun

commit sha 0ee1c1fa5a42ca2c349589fa5ba62e6f54acfa9a

Merge pull request #1 from NikitaMishin/master fixes

view details

Danya Berezun

commit sha 288cb127d25668a5a30a8ce9f67e65492bc4a760

small fixes

view details

Danya Berezun

commit sha a42fd1b24695ac8d9b23f4e7d99be495904ee07c

update TODO

view details

NikitaMishin

commit sha 0f294b8034e784a5d58a20d8cf9d80292782e245

update figures

view details

danyaberezun

commit sha c62805c5edd00aec3fa38b1d222944a1d3a90764

Merge pull request #2 from NikitaMishin/master update figures

view details

Danya Berezun

commit sha c1e66b3a48bc402170fc988f4e4f856c6d7b7bae

todo is done

view details

Danya Berezun

commit sha 20052abc0da832fffb61f195f237c947adc38cdb

merge

view details

Dmitry Boulytchev

commit sha 16ad774c56fbefa7e438a691483b1bfc9201286c

Merge pull request #50 from danyaberezun/master Fix Mishin text

view details

push time in a month