13
13
Apr 30, 2023
04/23
Apr 30, 2023
by
Cat's Eye Technologies
software
eye 13
favorite 0
comment 0
The Cat's Eye Technologies Platform is a compilation of the collected works of Cat's Eye Technologies on a bootable NetBSD 6.1.5 disk image. Most of these works are executable software such as programming language interpreters and utility scripts. Source code for each work, as well as for much of the supporting infrastructure software (such as Python, Perl, Erlang, Hugs, and Chicken Scheme) is included on the image. This is version 0.5 of the Cat's Eye Technologies Platform, which is...
Topics: Esoteric programming languages, NetBSD, Software compilation
3
3.0
Nov 25, 2022
11/22
Nov 25, 2022
by
Casper Bach Poulsen
texts
eye 3
favorite 0
comment 0
Casper Bach Poulsen; Arjen Rouvoet; Andrew Tolmach; Robbert Krebbers; Eelco Visser A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a separate type system requires a separate type safety proof. An alternative approach, at least for pure object languages, is to use a dependently-typed language to...
Topics: Definitional interpreters, Program verification, Formal language definitions
11
11
Nov 25, 2022
11/22
Nov 25, 2022
by
S. Doaitse Swierstra
texts
eye 11
favorite 0
comment 0
Abstract We develop, in a stepwise fashion, a set of parser combinators for constructing deterministic, error-correcting parsers. The only restriction on the grammar is that it is not left recursive. Extensive use is made of lazy evaluation, and the parsers constructed “analyze themselves”. Our new combinators may be used for the construction of large parsers to be used in compilers in practical use.
Topic: Parser combinators
12
12
Nov 14, 2022
11/22
Nov 14, 2022
by
Michael Thielscher
texts
eye 12
favorite 0
comment 0
Abstract The present introduction to the Fluent Calculus is intended as an ETAI reference article. It summarizes basic definitions and concepts in the Fluent Calculus, and is intended as a reference for future articles where the calculus is used. Copyright conditions "The publishing agreements specify that it is permitted for anyone to download the article from the net, to print out single copies of it, and to use classroom sets of copies for academic purposes."
Topics: Fluent calculus, frame problem, situation calculus, reference article
9
9.0
Nov 14, 2022
11/22
Nov 14, 2022
by
Hector Levesque; Fiora Pirri; Ray Reiter
texts
eye 9
favorite 0
comment 0
Abstract This article gives the logical foundations for the situations-as- histories variant of the situation calculus, focusing on the following items: . The language of the situation calculus. . Foundational axioms for the domain of situations. . Axioms for an underlying domain theory. . The syntax and semantics of the logic programming language GOLOG. . Axioms for knowledge and sensing actions. . Essential metatheoretic results about the situation calculus. Copyright conditions "The...
Topics: Situation calculus, frame problem, frame axioms, GOLOG
Joe Gunn Gold by Georg Rottensteiner (coding and design), Howard Kistler (graphics), Paul Pridham (graphics), Thomas Egeskov Petersen (music) German version Downloaded from http://www.georg-rottensteiner.de/files/joegunn_gold.zip
Topics: Retrogame, Homebrew, Commodore 64
Sword of Fargoal, The (1983)(Epyx) by Jeff McCord Published by Epyx, Inc. Developed by Epyx, Inc. Released 1982 Platforms Commodore 64, VIC-20 Genre Role-playing (RPG) Perspective Top-down Gameplay Roguelike Setting Fantasy Description The Protectorate Sword which was forged to vanquish evil has been stolen by a powerful wizard named Ulma and placed deep in an underground dungeon. Only when this sword is retrieved and given to Gedwyn the blinded hero, will Ulma be destroyed forever. A...
Topics: Roguelike, Dungeon crawl, Computer game
When the disk has finished booting, type RUN ESCAPE to begin the game. From the MobyGames entry : "One of the first games by Silas Warner which, along with his Maze Game , provides an early demonstration of first-person visuals in home computer games. The objective is escaping from a building, which consists of a randomly-generated maze, by navigating from the south-eastern corner to the exit at the north-west. The player is equipped with a pass, which may help when encountering guards...
Topics: apple ii, maze game, first-person game, computer game, video game
The Never-Ending Maze, described by its author as "An Infocom-style text adventure game based on the defining cultural phenomenon of a generation. (Possibly.)" https://static.catseye.tc/distfiles/never-ending-maze-1.0.z5
Topics: Interactive Fiction, Text Adventure, Z-Machine
https://www.lemon64.com/forum/viewtopic.php?t=10811&start=30 https://web.archive.org/web/20170919025955/http://bombjack.org/commodore/games/Arcade_Game_Construction_Kit_Users_Manual.pdf
Topics: Arcade Game Construction Kit, Game manual, Commodore 64, AGCK, Vintage computer games
Joe Gunn Gold by Georg Rottensteiner (coding and design), Howard Kistler (graphics), Paul Pridham (graphics), Thomas Egeskov Petersen (music) Downloaded from http://www.georg-rottensteiner.de/files/joegunn_gold.zip This is the "Gold" 27-08-2007 version, which predates the later "Gold Edition" (2009) version sold by Psytronik. More detail on versions, from Joe Gunn - Gold Edition entry on C64 Wiki : "Joe Gunn Gold - this is available in German and in English. The...
Topics: Retrogame, Homebrew, Commodore 64
Racked Off! Release date: 12th June 2007 Programming: Richard Bayliss Graphics: Richard Bayliss, Johan Janssen Music: Richard Bayliss Genre: Arcade - Pac Man Tape Loader: Dance-A-Load/Martyload Barry the Bear wakes up and finds himself stranded on a strange planet full of different coloured gardens. The poor bear is starving so it is up to you to help Barry gather all the food for a good feast. Unfortunately he's not alone as there are alien bugs guarding the gardens, and they're racked...
Topics: Retrogame, Homebrew, The New Dimension, Commodore 64
60
60
Jul 30, 2022
07/22
Jul 30, 2022
by
Cat's Eye Technologies
software
eye 60
favorite 0
comment 0
The Cat's Eye Technologies Platform is a compilation of the collected works of Cat's Eye Technologies on a bootable NetBSD 6.1.5 disk image. Most of these works are executable software such as programming language interpreters and utility scripts. Source code for each work, as well as for much of the supporting infrastructure software (such as Python, Perl, Erlang, Hugs, and Chicken Scheme) is included on the image. This is version 0.4 of the Cat's Eye Technologies Platform, which was...
Topics: Esoteric programming languages, NetBSD, Software compilation
Apple Befunge is a "retrolanguage" for the Apple ][+. Being written in Applesoft BASIC, it should also work on an Apple //e or similar model of 8-bit Apple computer (or, of course, an emulator thereof.) It is based largely on Befunge-93, with some Befunge-98-isms, and some instructions and behaviour peculiar to the Apple 8-bit architecture. This is version 1.1 revision 2014.0819 of Apple Befunge, released on 19 Aug 2014. It includes several bug fixes over previous versions. The...
Topics: Befunge, Apple ][+
53
53
Jul 22, 2022
07/22
Jul 22, 2022
by
Eric C.R. Hehner
texts
eye 53
favorite 1
comment 0
From the Introduction: "The subject of this book sometimes goes by the name “programming methodology”, “science of programming”, “logic of programming”, “theory of programming”, “formal methods of program development”, or “verification”. It concerns those aspects of programming that are amenable to mathematical proof. A good theory helps us to write precise specifications, and to design programs whose executions provably satisfy the specifications. We will be...
Topics: Theory of Programming, Formal Methods, Formal Verification
41
41
Jul 22, 2022
07/22
Jul 22, 2022
by
Philippe Flajolet
texts
eye 41
favorite 0
comment 0
From blurb: "Analytic combinatorics aims to enable precise quantitative predictions of the properties of large combinatorial structures. The theory has emerged over recent decades as essential both for the analysis of algorithms and for the study of scientific models in many disciplines, including probability theory, statistical physics, computational biology and information theory. With a careful combination of symbolic enumeration methods and complex analysis, drawing heavily on...
Topics: Combinatorics, Combinatorial analysis
54
54
Jun 18, 2022
06/22
Jun 18, 2022
by
Hiroki Sayama
texts
eye 54
favorite 0
comment 0
From "About the Textbook", p. iii: " Introduction to the Modeling and Analysis of Complex Systems introduces students to mathematical/computational modeling and analysis developed in the emerging interdisciplinary field of Complex Systems Science . This textbook offers an accessible yet technically-oriented introduction to the modeling and analysis of complex systems."
Topics: Digital computer simulation, Complex systems
2
2.0
May 16, 2022
05/22
May 16, 2022
cpressey Favourites!
Topic: favorites
Live Music Archive
Librivox Free Audio
Metropolitan Museum
Cleveland Museum of Art
Internet Arcade
Console Living Room
Books to Borrow
Open Library
TV News
Understanding 9/11
