文件列表:

LICENSE (1083, 2023-03-17)
SafeExec (0, 2023-03-17)
SafeExec\Makefile (291, 2023-03-17)
SafeExec\error.c (414, 2023-03-17)
SafeExec\error.h (71, 2023-03-17)
SafeExec\os-detect.c (707, 2023-03-17)
SafeExec\safe.c (712, 2023-03-17)
SafeExec\safe.h (299, 2023-03-17)
SafeExec\safeexec.c (14988, 2023-03-17)
SafeExec\safeexec.h (323, 2023-03-17)
SafeExec\safeexec.new.c (14849, 2023-03-17)
SafeExec\tests (0, 2023-03-17)
SafeExec\tests\execute.sh (230, 2023-03-17)
SafeExec\tests\fork.c (79, 2023-03-17)
SafeExec\tests\mle.c (197, 2023-03-17)
SafeExec\tests\ole.c (84, 2023-03-17)
SafeExec\tests\return.c (71, 2023-03-17)
SafeExec\tests\tle.c (66, 2023-03-17)
SafeExec\tests\wtle.c (110, 2023-03-17)
TODO.md (1229, 2023-03-17)
devel.cfg (3281, 2023-03-17)
doc (0, 2023-03-17)
doc\Makefile (372, 2023-03-17)
doc\USER-GUIDE.html (39727, 2023-03-17)
doc\USER-GUIDE.md (24550, 2023-03-17)
doc\USER-GUIDE.pdf (284226, 2023-03-17)
doc\styles.html (123, 2023-03-17)
old-src (0, 2023-03-17)
old-src\Printout.hs (4149, 2023-03-17)
old-src\Report.hs (3731, 2023-03-17)
package.yaml (1438, 2023-03-17)
python (0, 2023-03-17)
python\runtests.py (1264, 2023-03-17)
python\turtle.py (4166, 2023-03-17)
snaplets (0, 2023-03-17)
snaplets\heist (0, 2023-03-17)
snaplets\heist\templates (0, 2023-03-17)
... ...

# Codex *Codex* is a web application for setting programming exercises in a learning environment (e.g. programming classes). ## Features * allows flexible Markdown "wiki"-style mix of documentation and exercises * allows testing single units rather than complete programs (e.g. functions) * it can provide automatic feedback (failed test cases) * supports Python (using doctests), and Haskell (using QuickCheck); C is also suported using the Haskell FFI The user guide is available [here](http://rawgit.com/pbv/codex/master/doc/USER-GUIDE.html).

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：