Julia Belyakova's repositories
concept-params
Coq formalization of "concept parameters" for "generic" programming in STLC
ftfjp-2019
Submission for FTfJP-2019
CS361-SimpleGeometryProject
Simple geometry project for «CS361. Design patterns» course.
julbinb.github.io
Personal web page of Julia Belyakova
2016-CS301-PL
CS301 Programming Languages Theory course @ MMCS SFedU, 2016
Example.jl
Example Julia package repo.
julia-pkgsrc-downloader
Downloader of Julia-packages sources
JuliaPkgsList.jl
Generates the list of the N most starred Julia packages
neu-prl-website
Source for website at
ocaml.org
The official OCaml website.
NOASSERTION000
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
000
Language:TeX000