Sergey Bronnikov
Sergey Bronnikov
http://quickcheck-ci.com/
https://www.youtube.com/user/livibetter/videos: - https://github.com/ph1l/stars https://www.youtube.com/watch?v=eTrLGsK4DqE - https://github.com/spurll/ten https://www.youtube.com/watch?v=yS2LqCHZHQ8 - https://github.com/dreamerblue/reversi-cli https://www.youtube.com/watch?v=PgKp_qBHqdI - https://github.com/chuyangliu/snake https://www.youtube.com/watch?v=zaUu1exwqfg - https://github.com/Hafting/enigma https://www.youtube.com/watch?v=vV5xPSaVJuw - https://github.com/kurehajime/pong-command https://www.youtube.com/watch?v=rF2ET9h0hxc - https://github.com/Firemoon777/gravity-defied https://www.youtube.com/watch?v=Jh3gvpa-1zY - https://github.com/ValeriyKr/sfb https://www.youtube.com/watch?v=G3k7rplCl4o - https://github.com/lelandbatey/defuse_division https://www.youtube.com/watch?v=FMA3uAYzGYI - https://github.com/TitouanT/snake...
https://github.com/abakh/nbsdgames
### Sources: - https://en.wikipedia.org/wiki/List_of_text-based_computer_games - https://peyre.x10.mx/GWBASIC/index.htm - https://archive.org/details/gamesourcecode - http://cvsweb.netbsd.org/bsdweb.cgi/src/games/ - http://gitweb.dragonflybsd.org/dragonfly.git/tree/v3.0.0:/games - https://github.com/ctdk/bsdgames-osx - https://github.com/jalbam/c_games ### TODO: - http://ascii.textfiles.com/ - http://freshmeat.sourceforge.net/projects/ladder - https://sourceforge.net/projects/freakout/ - http://freshmeat.sourceforge.net/projects/terminal-etch-n-sketch - http://freshmeat.sourceforge.net/projects/vibora - http://blog.yjl.im/search/label/space%20shooter%20game...
https://github.com/coding-horror/basic-computer-games
jepsen-long-fork model is mentioned in documentation and usage, but actually is broken. https://github.com/ligurio/elle-cli/blob/d23bf96c042025fe1896385d8796597695731c34/src/elle_cli/cli.clj#L174-L178
jepsen-set model is mentioned in documentation and usage, but actually is broken. https://github.com/ligurio/elle-cli/blob/d23bf96c042025fe1896385d8796597695731c34/src/elle_cli/cli.clj#L174-L178
`jepsen-set-full` and `jepsen-set` uses the same history format, see - [set-full](https://github.com/jepsen-io/jepsen/blob/fe76b06cc68f50abec010c0e83138b819f7c6877/jepsen/src/jepsen/checker.clj#L461-L532) and [set](https://github.com/jepsen-io/jepsen/blob/main/jepsen/src/jepsen/checker.clj#L240-L243). Need to understand a difference and probably leave a single one.
There are some options for the same or similar models: - `elle-rw-register` and `knossos-register` uses the same history format, as far as I understand `elle-rw-register` is more rigorous and has...
Status `:unknown` means checker was unable to complete the analysis; e.g. it ran out of memory. Now elle-cli prints it as a Clojure keyword (with colon), it would be better...