background preloader

The Racket Language

The Racket Language
Racket is useful for building other languages. This example uses the pre-packaged Racket implementation of Datalog, a logic programming language. If you use this from DrRacket, you'll see that it provides proper highlighting, Check Syntax, and a Datalog-specific REPL. To run the example, install Racket, start DrRacket, paste the example program into the top area in DrRacket, and click the Run button. Alternatively, save the program to a file and run racket on the file. Form and function names in the code are hyperlinked to documentation, so click on them for more information.

Related:  RMore More More

sep:software:ratfor90 [Stanford Exploration Project] You can download ratfor90 from here. Introduction/Description “Ratfor” is a dialect of Fortran that is more concise than raw Fortran. The newest Ratfor “compiler”, ratfor90 is a simple preprocesor program written in Perl that inputs an attractive Fortran-like dialect and outputs Fortran90. Mainly, the preprocessor produces Fortran statements like ” end do ”, “end if”, “end program”, and “end module”, from the Ratfor ”}”. The 4 Questions To Ask Yourself When Faced With A Difficult Decision In Life I think we can all agree that life can be a real b*tch at times, as it puts us in situations that require us to make difficult decisions – decisions that, no matter what, would entail heartache, headache, or both. Some of them require a true sacrifice, while others involve big risks. To help you deal with such trying moments in your life, here are four questions you could and should ask yourself before making the final decision. I hope at the end of the list, you will find the answer that is already in your heart and make the right and best choice.

Cargo-Bot – iPad The first game programmed entirely on iPad® Be Logical. Play Cargo-Bot Presenting Cargo-Bot. EMACS: The Extensible, Customizable Display Editor This paper was written by Richard Stallman in 1981 and delivered in the ACM Conference on Text Processing. Table of Contents Introduction EMACS(1) is a real-time display editor which can be extended by the user while it is running. Extensibility means that the user can add new editing commands or change old ones to fit his editing needs, while he is editing. The reFLect Programming Language reFLect is a functional programming language designed and implemented by a team at Intel Corporation's Strategic CAD Labs under the direction of Jim Grundy. The language is strongly typed and similar to ML, but provides certain reflection features intended for applications in industrial hardware design and verification. Like LISP, reFLect has quotation and antiquotation constructs that may be used to construct and decompose expressions in the language itself. Unlike LISP, these mechanisms are typed. The language also provides a primitive mechanism for pattern-matching, and in particular for defining functions over code by pattern-matching on the structure of reFLect expressions. These features are tailored to support, among other things, the approach to formal verificiation embodied in Intel's Forte verification environment.

7 Things Smart Learners Do Differently All people were born with great gifts, talents and potential, including you. What makes a real difference in reaching your potential is the ability to be a smart learner. See what smart learners do differently and what they can teach us. They always learn. Berkeley Logo (UCBLogo) The current version is 6.0, posted 14 Sep 2008. 6 Jan 2009: The bug in the version for PowerPC-based Macs that required X11 to run Logo has been fixed. Re-download UCBLogo if you had that problem. Here are links to version 5.3 for frozen platforms DOS (or by HTTP), or Mac pre-OS X (or by HTTP). If you downloaded 6.0 before Tues 9/30/2008, 10:30pm PST, and it didn't run on your PowerPC-based Mac, download it again -- that's been fixed. Also consider David Costanzo's FMSLogo, an updated version of George Mills' MSWLogo, a multimedia-enhanced version for MS Windows based on Berkeley Logo. Or Andreas Micheler's aUCBLogo, a rewrite and enhancement of UCBLogo.

Sed - An Introduction and Tutorial Your browser does not have Javascript enabled. I use Javascript for analytics, and to show ads which pay for the maintenance Last modified: Thu Apr 23 16:37:48 EDT 2015 Quick Links Table of Contents Note - You can click on the table of contents sections to jump to that section.

Rizzly If you're in a hurry, try the wild overview of Rizzly . Rizzly is a programming language and compiler tailored for embedded systems. It has the following goals: Targeting bare metal micro controllers Very small memory and CPU footprint Strong type checker Strong model (and checker) Domain specific features Modern features like generics and so on