105 results for tags
language x
-
atom hardware description language
Atom is a DSL embedded in Haskell used to describe synchronous reactive software systems, primarily intended for realtime control applications. Based on conditional term rewriting, an atom description is composed of a set of rules that defines the state transition behavior of the system at periodic intervals. Other functional HDLs, now abandoned, from the same author: Confluence, HDCaml.Tue Dec 2 14:28:31 2008 - permalink -
As od 2015-03-25, the domain is no longer in use.- http://funhdl.org/wiki/doku.php
-
Programming Languages: Application and Interpretation by Shriram Krishnamurthi
Book about programming languages, published under a creative commons license.Mon Sep 1 19:17:23 2008 - permalink -- http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/
-
English Indonesian Dictionary Translator - Kamus Inggris Indonesia Inggris
On-line dictionary bahasa indonesia <-> english.Thu Aug 28 16:25:44 2008 - permalink -- http://vvv.sederet.com/
-
Weanarisch Wiad Wödsproch im World Wide Web
Funny website about Viennese (in english)Fri Jul 11 21:08:05 2008 - permalink -- http://www.karanitsch.net/w6/default.htm
-
Ostarrichi.ORG : Wörterbuch deutsch-österreichisch
German/Austrian dictionary.Thu Jul 10 14:02:23 2008 - permalink -- http://www.ostarrichi.org/
-
Online Dictionary, Encyclopedia and Thesaurus
English, Medical, Legal, Financial, and Computer Dictionaries, Thesaurus, Acronyms, Idioms,Sun May 11 00:31:09 2008 - permalink -- http://www.thefreedictionary.com/
-
ArcLite - Arc Ported to JavaScript
So, Arc came out about a week ago, and I tried to stay away, but it was just too tempting. I ended up spending a week porting it to JavaScript.Wed Feb 13 18:04:48 2008 - permalink -- http://halogen.note.amherst.edu/~jdtang/arclite/
-
Lambda Associates Home Page
Interesting work on Qi, a language based on Common Lisp which incorporates features such as (optional) type checking, pattern matching similar to those in ML and Haskell and logical programming (Prolog).Mon Feb 11 14:43:40 2008 - permalink -
As of 2025-02-07, the domain name has been taken over by an indonesian site. Mark Tarver, the author of Qi has created a successor called Shen: https://shenlanguage.org/- http://www.lambdassociates.org/
-
STSC CrossTalk - Computer Science Education: Where Are the Software Engineers of Tomorrow? - Jan 2008
Why several programming languages should be taught.Tue Jan 8 17:38:35 2008 - permalink -- http://www.stsc.hill.af.mil/CrossTalk/2008/01/0801DewarSchonberg.html
-
Online Etymology Dictionary
This is a map of the wheel-ruts of modern English. Etymologies are not definitions; they're explanations of what our words meant and how they sounded 600 or 2,000 years ago.Wed Sep 5 14:38:02 2007 - permalink -- http://www.etymonline.com/index.php
-
Online Lexikon - Wörterbuch - Übersetzung
On-line dictionary with multiple languages: german, english, french, italian, spanish, portuguese, dutch and swedish. Also has unit conversion calculators etc.Fri Aug 17 13:20:27 2007 - permalink -- http://www.woxikon.de/
-
A Forth-like CPU
Design, VHDL code and software (assembler, compiler) for a Forth-oriented processor.Thu Jun 28 15:32:53 2007 - permalink -- http://www.frank-buss.de/forth/cpu1/
-
Jim Breen's WWWJDIC
Jim Breen's WWWJDIC Japanese Dictionary Server, includes handwriting recognition.Tue Jun 26 20:55:48 2007 - permalink -- http://www.csse.monash.edu.au/~jwb/wwwjdic.html
-
funHDL [funHDL]
Augmenting Hardware Design with Functional Languages. A series of functional languages for hardware design. Confluence and HDLcaml (sp?) were based on OCaml, the newest called "Atom" is based on Haskell.Tue May 29 15:17:17 2007 - permalink -- http://www.confluent.org/wiki/doku.php#functional_hdls
-
Lemonodor: The Regressive Imagery Dictionary
A tool for text analysis that is designed to measure primordial and conceptual content.Wed May 23 12:23:42 2007 - permalink -- http://lemonodor.com/archives/001511.html
-
Chinesisch-Links
Links to chinese courses in both english and german. From Matheplanet.Tue May 15 15:22:40 2007 - permalink -- http://silber-ruecken.de/ghhp/Peter/chinesisch/index.html
-
About Pure Data PD Community Site
PD (aka Pure Data) is a real-time graphical programming environment for audio, video, and graphical processing.Tue Mar 13 18:16:15 2007 - permalink -- http://www.puredata.info/
-
programming musings
Neat blog about programming, including Lisp, Smalltalk, Alan Kay's new Albert and more. The author also has a physics blog with good book tips.Tue Mar 13 12:13:04 2007 - permalink -- http://jaortega.wordpress.com/
-
Lambda the Ultimate | Programming Languages Weblog
Interesting blog about functional languages and those with fuctional features, such as Lisp.Tue Mar 6 15:05:42 2007 - permalink -- http://lambda-the-ultimate.org/
-
Jeremy Gibbons' Publications
Found this page when looking for a Spigot algorithm for pi, but has also an article about using formal methods in the development of the Transputer Floating Point Unit.Wed Feb 14 17:55:43 2007 - permalink -- http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/index.html#spigot