digimon

The (typed) core to construct the digital world

Build status: ok passing tests missing license metadata

Authors

juzhenliangλb3710bd

Documentation

~~digimon~~

Tags

License

Last updated

Wednesday, April 22nd, 2026 5:03:48am (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests succeeded: transcript

Version Exceptions

Version	Source	Checksum
default	git://github.com/wargrey/digimon.git	a357ce98781457857ae8e8a68154b56d7fabda1d

Last checked

Friday, May 1st, 2026 4:16:38pm (UTC)

Last edited

Tuesday, December 13th, 2016 1:29:10pm (UTC)

Date added

N/A

Modules

digimon/digitama/tamer/table.rkt
digimon/predicate.rkt
digimon/tamer/zip/deflate.rkt
digimon/digivice/wizarmon/spec.rkt
digimon/digitama/toolchain/cc/compiler.rkt
digimon/complex.rkt
digimon/digivice/wisemon/path.rkt
digimon/image.rkt
digimon/tamer/zip/zipcopy.rkt
digimon/digivice/wisemon/phony/dot.rkt
digimon/tamer/cmdopt/scp.rkt
digimon/tamer/bplist/empty.rkt
digimon/tamer/strftime.rkt
digimon/tamer/bplist/cycular.rkt
digimon/digitama/tamer/subfigure.rkt
digimon/character.rkt
digimon/digitama/toolchain/out/quirk.rkt
digimon/digitama/tamer/backend.rkt
digimon/digivice/nanomon.rkt
digimon/digitama/toolchain/spec/clang.rkt
digimon/digitama/git/submodule.rkt
digimon/digitama/toolchain/cc/linker.rkt
digimon/environ.rkt
digimon/digitama/git/parameter.rkt
digimon/digivice/wisemon/phony/all.rkt
digimon/digivice/wisemon/phony/weave.rkt
digimon/spec.rkt
digimon/digitama/tamer/citation.rkt
digimon/digitama/ffi.rkt
digimon/digitama/toolchain/spec/problem.rkt
digimon/tamer/bplist/xcbuild.rkt
digimon/continuation.rkt
digimon/tamer/struct/specialized.rkt
digimon/tongue.rkt
digimon/digitama/tamer/tag.rkt
digimon/digitama/minimal/system.rkt
digimon/digivice/wisemon.rkt
digimon/tamer/zip/spec/deflate.rkt
digimon/digitama/bintext/lz77.rkt
digimon/uuid.rkt
digimon/digitama/minimal/format.rkt
digimon/crypto.rkt
digimon/digitama/tamer/color.rkt
digimon/tamer/struct/rich-phantom.rkt
digimon/tamer/zip/zipinfo.rkt
digimon/digitama/tamer/literate.rkt
digimon/tamer/cc/ffi/version.rkt
digimon/tamer/zip/codelen-cases.rkt
digimon/tamer/cc/image.rkt
digimon/digitama/unsafe/debug/ops.rkt
digimon/digivice/nanomon/unsafe/colorize.rkt
digimon/digitama/spec/dsl.rkt
digimon/digitama/spec/expect/exec.rkt
digimon/digivice/nanomon/shell/stat.rkt
digimon/digivice/wisemon/parameter.rkt
digimon/digitama/spec/timeout.rkt
digimon/digitama/port.rkt
digimon/digivice/wizarmon/exec/scrbl.rkt
digimon/digivice/wizarmon.rkt
digimon/checksum.rkt
digimon/digitama/toolchain/out/image.rkt
digimon/digitama/bytes.rkt
digimon/digivice/wizarmon/problem.rkt
digimon/digivice/wizarmon/cmdopt.rkt
digimon/digivice/nanomon/parameter.rkt
digimon/tamer/bplist/infotab.rkt
digimon/digitama/unsafe/ops.rkt
digimon/tamer/cmdopt/ev.rkt
digimon/digitama/tamer/scrbl.rkt
digimon/digitama/tamer/manual.rkt
digimon/digitama/unsafe/number.rkt
digimon/digivice/wisemon/native.rkt
digimon/tamer/zip/spec/pkzip.rkt
digimon/tamer/echo.rkt
digimon/tamer/tex/theme.scrbl
digimon/digitama/minimal/port.rkt
digimon/digitama/toolchain/bin/clang.rkt
digimon/digitama/system.rkt
digimon/digitama/predicate.rkt
digimon/bitmask.rkt
digimon/digitama/path.rkt
digimon/digitama/spec/issue.rkt
digimon/tamer/digimon.scrbl
digimon/syntax.rkt
digimon/digitama/stdio.rkt
digimon/digitama/tamer/theme.rkt
digimon/bitstream.rkt
digimon/digitama/minimal/string.rkt
digimon/digitama/spec/misc.rkt
digimon/digivice/wizarmon/exec/c.rkt
digimon/digitama/tamer/colorscheme.rkt
digimon/digivice/nanomon/shell/colorize.rkt
digimon/filesystem.rkt
digimon/enumeration.rkt
digimon/digitama/git/numstat.rkt
digimon/digitama/typeset/engine.rkt
digimon/digitama/latex.rkt
digimon/system.rkt
digimon/digitama/typeset/exec.rkt
digimon/digivice/wizarmon/exec/lean.rkt
digimon/tamer/zip/pkunzip.rkt
digimon/digitama/tamer/render.rkt
digimon/digitama/number.rkt
digimon/tamer/struct/phantom.rkt
digimon/place.rkt
digimon/digitama/bitstream.rkt
digimon/digitama/spec/seed.rkt
digimon/digitama/dtrace.rkt
digimon/iana.rkt
digimon/tamer/cc/ffi/filter.rkt
digimon/digivice/wizarmon/parameter.rkt
digimon/tamer/zip/zip.rkt
digimon/digitama/toolchain/std.rkt
digimon/tamer/zip/lz77.rkt
digimon/tamer/bplist/constants.rkt
digimon/digitama/strftime.rkt
digimon/digivice/wizarmon/exec.rkt
digimon/thread.rkt
digimon/digitama/bintext/archive/zip.rkt
digimon/timer.rkt
digimon/digitama/spec/expect/logging.rkt
digimon/digivice/wizarmon/echo.rkt
digimon/digitama/typeset/bin/xetex.rkt
digimon/debug.rkt
digimon/digitama/minimal/dtrace.rkt
digimon/digitama/cmdopt.rkt
digimon/tamer/zip/unzip.rkt
digimon/function.rkt
digimon/digitama/tamer/selector.rkt
digimon/digitama/tamer/lexer.rkt
digimon/digitama/bintext/zipconfig.rkt
digimon/cmdopt.rkt
digimon/digitama/toolchain/spec/lean.rkt
digimon/digitama/tamer.rkt
digimon/digitama/minimal/regexp.rkt
digimon/tamer/tex/pdftex.scrbl
digimon/digitama/spec/exn.rkt
digimon/digitama/toolchain/bin/msvc.rkt
digimon/echo.rkt
digimon/string.rkt
digimon/digitama/git/lstree.rkt
digimon/digitama/typeset/bin/euptex.rkt
digimon/digitama/exec.rkt
digimon/digitama/spec/expectation.rkt
digimon/number.rkt
digimon/digivice/wisemon/phony/dist.rkt
digimon/tamer/cc/spec.rkt
digimon/digivice/wisemon/display.rkt
digimon/digitama/typeset/tex.rkt
digimon/digitama/typeset/bin/luahbtex.rkt
digimon/digitama/tamer/privacy.rkt
digimon/tamer/bplist/date.rkt
digimon/digitama/tamer/pseudocode.rkt
digimon/network.rkt
digimon/digivice/wisemon/racket.rkt
digimon/flonum.rkt
digimon/measure.rkt
digimon/json.rkt
digimon/digitama/toolchain/out/pecoff.rkt
digimon/digivice/wizarmon/exec/python.rkt
digimon/digitama/bintext/zipinfo.rkt
digimon/tamer/uuid.rkt
digimon/digitama/bintext/crc.rkt
digimon/digitama/collection.rkt
digimon/digitama/ioexn.rkt
digimon/digitama/bintext/deflation.rkt
digimon/cc.rkt
digimon/digitama/git/linguist/generatable.rkt
digimon/digitama/plist/Info.plist.rkt
digimon/digitama/spec/prompt.rkt
digimon/collection.rkt
digimon/digitama/toolchain/cc/configuration.rkt
digimon/digitama/toolchain/spec/python.rkt
digimon/location.rkt
digimon/digitama/git/langstat.rkt
digimon/digitama/wisemon.rkt
digimon/digitama/git/linguist/languages.rkt
digimon/custodian.rkt
digimon/tamer.rkt
digimon/tamer/zip/spec/codelen.rkt
digimon/digitama/toolchain/bin/gcc.rkt
digimon/digitama/gui/timer.rkt
digimon/gui.rkt
digimon/ffi.rkt
digimon/port.rkt
digimon/digitama/tamer/lstlisting.rkt
digimon/digivice/wisemon/phony/typeset.rkt
digimon/digitama/unsafe/release/ops.rkt
digimon/digitama/tamer/graphviz.rkt
digimon/digitama/tamer/misc.rkt
digimon/tamer/spec.rkt
digimon/git.rkt
digimon/digivice/wisemon/phony/clean.rkt
digimon/digitama/spec/behavior.rkt
digimon/sequence.rkt
digimon/exception.rkt
digimon/digitama/bintext/huffman.rkt
digimon/format.rkt
digimon/digitama/tamer/image.rkt
digimon/digitama/json.rkt
digimon/wisemon.rkt
digimon/digivice/wizarmon/typeset.rkt
digimon/symbol.rkt
digimon/archive.rkt
digimon/digivice/wisemon/spec.rkt
digimon/dtrace.rkt
digimon/tamer/cursor.rkt
digimon/digitama/toolchain/out/mach.rkt
digimon/binscii.rkt
digimon/dimension.rkt
digimon/digitama/tamer/documentclass.rkt
digimon/tamer/zip/winzip.rkt
digimon/digitama/plist/bplist.rkt
digimon/stdio.rkt
digimon/tamer/stdio.rkt
digimon/digitama/bintext/archive/progress.rkt
digimon/digivice/wizarmon/exec/dot.rkt
digimon/digitama/plist.rkt
digimon/plist.rkt
digimon/digitama/tamer/block.rkt
digimon/digitama/tamer/itemlist.rkt
digimon/digitama/diagram/graphviz.rkt
digimon/token.rkt
digimon/digitama/toolchain/cc/cc.rkt
digimon/digitama/bintext/base64.rkt
digimon/foreign.rkt
digimon/emoji.rkt
digimon/date.rkt
digimon/tamer/cmdopt/vim.rkt
digimon/digitama/tamer/stat.rkt
digimon/digitama/unicode.rkt
digimon/digivice/wisemon/phony/cc.rkt
digimon/tamer/tex/bibtex.scrbl
digimon/digivice/wisemon/ffi.rkt
digimon/digitama/tamer/colorbox.rkt
digimon/digitama/tamer/texbook.rkt
digimon/digitama/privacy.rkt
digimon/digitama/toolchain/toolchain.rkt
digimon/digitama/bintext/zip.rkt
digimon/digitama/typeset/bin/pdftex.rkt
digimon/digitama/bintext/archive.rkt
digimon/digitama/tamer/ams.rkt
digimon/digitama/plural.rkt
digimon/scribble.rkt
digimon/digitama/tamer/style.rkt
digimon/digitama/minimal/dtrecho.rkt
digimon/digitama/tamer/meta-name.rkt
digimon/digitama/spec/expect/type.rkt
digimon/digitama/minimal/symbol.rkt
digimon/digitama/evt.rkt
digimon/struct.rkt
digimon/class.rkt
digimon/digitama/bintext/table/bits.rkt
digimon/tamer/plist.rkt
digimon/digitama/bintext/ipv4.rkt
digimon/tamer/zip/huftree.rkt
digimon/digivice/nanomon/shell.rkt
digimon/digitama/bintext/table/huffman.rkt
digimon/digivice/wisemon/phony.rkt