欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EConf
来自开放百科 - 灰狐
eConf is an open source e-learning software, written in Java. It allows to easily record web sessions and has been used to record multiple computer science courses. eConf is an add-on to an HTTP proxy that is able to capture the web pages shown during the session and the voice of the presenter. The audio and the web pages are then synchronized to allow the students to listen to the recorded course. The current release of eConf is built on top of the W3C's Jigsaw proxy but any other proxy may be used.
分享您的观点