Tests for a compiler course assignment.
An example of a repo for a compiler course.
Emacs major mode for Alloy
The pretty printing library based on Anton Podkopaev and Dmitri Boulytchev "Polynomial-Time Optimal Pretty-Printing Combinators with Choice" paper.
anlun/an-idiots-guide-to-installing-arch-on-a-lenovo-carbon-x1-gen-6 0
so you wanted to install arch huh
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
startedBigpig4396/Multi-Agent-Reinforcement-Learning-Environment
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
commit sha e6bb5976afb233e39e912aaf885afeca3f6e1f52
fix intro; add todos
commit sha 1a8f52b43ba3c19945cbd3ec37810b637873645f
intro: small fix
commit sha 0a22469302a944053a79b51d0c6a6a9f607bd139
fix 1.1 + add todos
commit sha b2e918687da098a44572f7cdc8d87d9b32766f3c
fix 1 chapter + add todos
commit sha e18168e2be0ad5e242f49c40c3122e0986fd57d4
some fixed + TODO
commit sha 74d27396cc807bd05f80ba6f210814eb4c488582
fixes
commit sha 0ee1c1fa5a42ca2c349589fa5ba62e6f54acfa9a
Merge pull request #1 from NikitaMishin/master fixes
commit sha 288cb127d25668a5a30a8ce9f67e65492bc4a760
small fixes
commit sha a42fd1b24695ac8d9b23f4e7d99be495904ee07c
update TODO
commit sha 0f294b8034e784a5d58a20d8cf9d80292782e245
update figures
commit sha c62805c5edd00aec3fa38b1d222944a1d3a90764
Merge pull request #2 from NikitaMishin/master update figures
commit sha c1e66b3a48bc402170fc988f4e4f856c6d7b7bae
todo is done
commit sha 20052abc0da832fffb61f195f237c947adc38cdb
merge
commit sha 16ad774c56fbefa7e438a691483b1bfc9201286c
Merge pull request #50 from danyaberezun/master Fix Mishin text
push time in a month