<<O>>  Difference Topic WebHome (34 - 12 May 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 93 to 93
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (33 - 12 May 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 96 to 96
 
Changed:
<
<
Emily Fortuna
I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
>
>
 
 <<O>>  Difference Topic WebHome (32 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 93 to 93
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (31 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 93 to 93
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (30 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 53 to 53
 
Changed:
<
<
c Matt Gen
>
>
Matt Gen
  This summer I worked on understanding the basics of programming LEGO mindstorm robots, and trying to provide the infrastructure needed to
Line: 93 to 93
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (29 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 53 to 53
 
Changed:
<
<
Matt Gen
>
>
c Matt Gen
  This summer I worked on understanding the basics of programming LEGO mindstorm robots, and trying to provide the infrastructure needed to
 <<O>>  Difference Topic WebHome (28 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 44 to 44
 
Changed:
<
<
>
>
  Travis Fischer
I am currently working on Dr. Lint, a template program for RAP language development. I am also designing testing situations for TexBot.
 <<O>>  Difference Topic WebHome (27 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

 <<O>>  Difference Topic WebHome (26 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 36 to 36
 

Changed:
<
<
Adam Wulf
>
>
*Adam Wulf*
  I am currently working on writing an interpreter for Ridl, an event driven realtime langage based on RT-FRP
Line: 45 to 45
 
Changed:
<
<
Travis Fischer
>
>
*Travis Fischer*
  I am currently working on Dr. Lint, a template program for RAP language development. I am also designing testing situations for TexBot.
Line: 66 to 65
 
Changed:
<
<
Miguel Guerrero
>
>
Miguel Guerrero
  This summer I worked on understanding the performance characteristics of the LOGO implementation we developed last summer. If all goes well,
Line: 77 to 76
 
Changed:
<
<
Bennett Lau
>
>
Bennett Lau
  I am working on writing device drivers under windows. My current work involves incremently developing several device drivers that are less and less dependent on existing infrastructure for building device drivers.
Line: 88 to 87
 
Changed:
<
<
Gregory Malecha
>
>
Gregory Malecha
  I'm currently working on layout algorithms for PreVIEW graphs and am finishing up the lint system.
Line: 98 to 97
 

Changed:
<
<
Emily Fortuna
>
>
Emily Fortuna
  I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
 <<O>>  Difference Topic WebHome (25 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 100 to 100
 
Emily Fortuna
Changed:
<
<
I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
>
>
I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
 
 <<O>>  Difference Topic WebHome (24 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 98 to 98
 

Changed:
<
<
Emily Fortuna
>
>
Emily Fortuna
  I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
 <<O>>  Difference Topic WebHome (23 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 11 to 11
  Currently Available Projects
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (22 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

 <<O>>  Difference Topic WebHome (21 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 6 to 6
 
Changed:
<
<
TexBot is an ongoing project aimed at exploring new programming languages for embedded and real-time systems. The current focus of the project is developing a programming language called RIDL, and testing it using a tiny mindstorm robot. The project is lead by Walid Taha.
>
>
TexBot is an ongoing project aimed at exploring new programming languages for embedded and real-time systems. The current focus of the project is developing a programming language called RIDL, and testing it using a tiny mindstorm robot. The project is lead by Walid Taha.
 

Currently Available Projects

 <<O>>  Difference Topic WebHome (20 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (19 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (18 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Changed:
<
<
<img src=/twiki/bin/viewfile/Texbot/TaskLoadingTexBot?rev=1;filename=EmilyFortunaSrPicCropped.jpg height='80'>
>
>
 

 <<O>>  Difference Topic WebHome (17 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 95 to 95
 
<img src=/twiki/bin/viewfile/Texbot/TaskLoadingTexBot?rev=1;filename=EmilyFortunaSrPicCropped.jpg
Changed:
<
<
height=80 class='mug'>
>
>
height='80'>
 

 <<O>>  Difference Topic WebHome (16 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Changed:
<
<
>
>
<img src=/twiki/bin/viewfile/Texbot/TaskLoadingTexBot?rev=1;filename=EmilyFortunaSrPicCropped.jpg height=80 class='mug'>
 

 <<O>>  Difference Topic WebHome (15 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (14 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (13 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Changed:
<
<
>
>
 

Emily Fortuna
Changed:
<
<
I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
>
>
I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
 
 <<O>>  Difference Topic WebHome (12 - 12 Mar 2006 - Main.EmilyFortuna)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 94 to 94
 
Added:
>
>
 
Changed:
<
<
>
>
Emily Fortuna
 
Added:
>
>
I am working on developing the ability to program the RCX Lego Mindstorms Brick in RIDL and using this ability to get the robot to perform a variety of tasks. Project Description
 
Line: 126 to 129
 
  • Texas ATP 003604-0032-2003 "Advanced Languages Techniques for Device Drivers"
Changed:
<
<
META FILEATTACHMENT attr="h" comment="" date="1129912484" name="texbot.jpg" path="texbot.jpg" size="52958" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912879" name="roumen.jpg" path="roumen.jpg" size="2510" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912936" name="awulf.jpg" path="awulf.jpg" size="1630" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912959" name="matt.jpg" path="matt.jpg" size="2173" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912986" name="tfisch_texbot.jpg" path="tfisch_texbot.jpg" size="1893" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129913006" name="nobody.gif" path="nobody.gif" size="379" user="guest" version="1.1"
>
>
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562335" name="matt.jpg" path="matt.jpg" size="2173" user="guest" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562335" name="roumen.jpg" path="roumen.jpg" size="2510" user="guest" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562335" name="awulf.jpg" path="awulf.jpg" size="1630" user="guest" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562335" name="texbot.jpg" path="texbot.jpg" size="52958" user="guest" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562335" name="tfisch_texbot.jpg" path="tfisch_texbot.jpg" size="1893" user="guest" version="1.1"
META FILEATTACHMENT attr="h" autoattached="1" comment="" date="1140562335" name="nobody.gif" path="nobody.gif" size="379" user="guest" version="1.1"
 <<O>>  Difference Topic WebHome (11 - 13 Jan 2006 - Main.GregoryMalecha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 9 to 9
 
TexBot is an ongoing project aimed at exploring new programming languages for embedded and real-time systems. The current focus of the project is developing a programming language called RIDL, and testing it using a tiny mindstorm robot. The project is lead by Walid Taha.
Changed:
<
<
Projects currently available:

  • Parser for Verilog (see grammar)
  • Implementing turtle graphics in MetaOCaml (you will get to learn about functional programming, writing parsers, writing interpreters, using monads, and staging)
  • Loading C programs onto TexBot
  • Improved pretty-printer for MetaOCaml (the focus will be on reducing the number of parenthesis to a minimum)
>
>
Currently Available Projects
 
 <<O>>  Difference Topic WebHome (10 - 04 Jan 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 12 to 12
  Projects currently available:

  • Parser for Verilog (see grammar)
Added:
>
>
  • Implementing turtle graphics in MetaOCaml (you will get to learn about functional programming, writing parsers, writing interpreters, using monads, and staging)
 
  • Loading C programs onto TexBot
Changed:
<
<
  • Improved pretty-printer for MetaOCaml
>
>
  • Improved pretty-printer for MetaOCaml (the focus will be on reducing the number of parenthesis to a minimum)
 
 <<O>>  Difference Topic WebHome (9 - 02 Jan 2006 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 13 to 13
 
  • Parser for Verilog (see grammar)
  • Loading C programs onto TexBot
Added:
>
>
  • Improved pretty-printer for MetaOCaml
 
 <<O>>  Difference Topic WebHome (8 - 31 Dec 2005 - Main.WalidTaha)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 7 to 7
 
TexBot is an ongoing project aimed at exploring new programming languages for embedded and real-time systems. The current focus of the project is developing a programming language called RIDL, and testing it using a tiny mindstorm robot. The project is lead by Walid Taha.
Added:
>
>

Projects currently available:

  • Parser for Verilog (see grammar)
  • Loading C programs onto TexBot
 
 <<O>>  Difference Topic WebHome (7 - 07 Dec 2005 - Main.RoumenKaiabachev)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 45 to 45
 
Travis Fischer
Changed:
<
<
I am currently working on Dr. Lint, a template program for RAP language development. I am also designing testing situations for TexBot.
>
>
I am currently working on Dr. Lint, a template program for RAP language development. I am also designing testing situations for TexBot.
 
Line: 107 to 107
 

Related Projects

Added:
>
>
  • Dr Lint
 
  • RIDL
  • Wellesley College Robotic Design Studio
  • TimBot
 <<O>>  Difference Topic WebHome (6 - 28 Nov 2005 - Main.RoumenKaiabachev)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 19 to 19
 
Changed:
<
<
>
>
 

 <<O>>  Difference Topic WebHome (5 - 15 Nov 2005 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 63 to 63
 
Changed:
<
<
Miguel Guerrero
>
>
Miguel Guerrero
  This summer I worked on understanding the performance characteristics of the LOGO implementation we developed last summer. If all goes well,
Line: 71 to 71
  last year.
Changed:
<
<
>
>
 
Changed:
<
<
Bennett Lau
>
>
Bennett Lau
  I am working on writing device drivers under windows. My current work involves incremently developing several device drivers that are less and less dependent on existing infrastructure for building device drivers.
Line: 82 to 82
 
Changed:
<
<
>
>
 
Changed:
<
<
Gregory Malecha
>
>
Gregory Malecha
  I'm currently working on layout algorithms for PreVIEW graphs and am finishing up the lint system.
 <<O>>  Difference Topic WebHome (4 - 15 Nov 2005 - Main.RoumenKaiabachev)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 107 to 107
 

Related Projects

Changed:
<
<

>
>
  • RIDL
 
  • Wellesley College Robotic Design Studio
  • TimBot
 <<O>>  Difference Topic WebHome (3 - 14 Nov 2005 - Main.SethFogarty)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 60 to 60
 
Changed:
<
<
>
>
 
Changed:
<
<
Miguel Guerrero
>
>
Miguel Guerrero
  This summer I worked on understanding the performance characteristics of the LOGO implementation we developed last summer. If all goes well,
Line: 71 to 71
  last year.
Changed:
<
<
>
>
 
Changed:
<
<
Bennett Lau
>
>
Bennett Lau
  I am working on writing device drivers under windows. My current work involves incremently developing several device drivers that are less and less dependent on existing infrastructure for building device drivers.
Line: 82 to 82
 
Changed:
<
<
>
>
 
Changed:
<
<
Gregory Malecha
>
>
Gregory Malecha
  I'm currently working on layout algorithms for PreVIEW graphs and am finishing up the lint system.
 <<O>>  Difference Topic WebHome (2 - 21 Oct 2005 - Main.TWikiGuest)
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

TexBot

Line: 60 to 60
 
Changed:
<
<
>
>
 
Changed:
<
<
Miguel Guerrero
>
>
Miguel Guerrero
  This summer I worked on understanding the performance characteristics of the LOGO implementation we developed last summer. If all goes well,
Line: 71 to 71
  last year.
Changed:
<
<
>
>
 
Changed:
<
<
Bennett Lau
>
>
Bennett Lau
  I am working on writing device drivers under windows. My current work involves incremently developing several device drivers that are less and less dependent on existing infrastructure for building device drivers.
Line: 82 to 82
 
Changed:
<
<
>
>
 
Changed:
<
<
Gregory Malecha
>
>
Gregory Malecha
  I'm currently working on layout algorithms for PreVIEW graphs and am finishing up the lint system.
 <<O>>  Difference Topic WebHome (1 - 21 Oct 2005 - Main.TWikiGuest)
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

TexBot

Welcome to the Rice PLT homepage of TexBot.

TexBot is an ongoing project aimed at exploring new programming languages for embedded and real-time systems. The current focus of the project is developing a programming language called RIDL, and testing it using a tiny mindstorm robot. The project is lead by Walid Taha.

The TexBot Team

Roumen Kaiabachev
I am currently learning how to develop Windows Device Drivers and am implementing several device drivers in the Windows DDK 3790 environment.
Adam Wulf
I am currently working on writing an interpreter for Ridl, an event driven realtime langage based on RT-FRP
Travis Fischer
I am currently working on Dr. Lint, a template program for RAP language development. I am also designing testing situations for TexBot.
Matt Gen
This summer I worked on understanding the basics of programming LEGO mindstorm robots, and trying to provide the infrastructure needed to execute C programs generated by RIDL on the mindstrom robots.
Miguel Guerrero
This summer I worked on understanding the performance characteristics of the LOGO implementation we developed last summer. If all goes well, we might generate RIDL programs out of the LOGO interpreter we developed last year.
Bennett Lau
I am working on writing device drivers under windows. My current work involves incremently developing several device drivers that are less and less dependent on existing infrastructure for building device drivers.
Gregory Malecha
I'm currently working on layout algorithms for PreVIEW graphs and am finishing up the lint system.

Papers and Resources

  • Real Time FRP (pdf)
  • Event Driven FRP (pdf)
  • Little Languages for Little Robots (pdf)

Related Projects

  • RIDL
  • Wellesley College Robotic Design Studio
  • TimBot

Acknowledgments

This project is supported by several NSF and Texas ATP grants, including:
  • NSF ITR award "A Framework for Rapid Development of Reliable Robotics Software"
  • NSF ITR award "Putting Multi-stage Annotations to Work"
  • NSF Award "Synthesizing Device Drivers"
  • Texas ATP 003604-0032-2003 "Advanced Languages Techniques for Device Drivers"

META FILEATTACHMENT attr="h" comment="" date="1129912484" name="texbot.jpg" path="texbot.jpg" size="52958" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912879" name="roumen.jpg" path="roumen.jpg" size="2510" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912936" name="awulf.jpg" path="awulf.jpg" size="1630" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912959" name="matt.jpg" path="matt.jpg" size="2173" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129912986" name="tfisch_texbot.jpg" path="tfisch_texbot.jpg" size="1893" user="guest" version="1.1"
META FILEATTACHMENT attr="h" comment="" date="1129913006" name="nobody.gif" path="nobody.gif" size="379" user="guest" version="1.1"
Revision 34 - r34 - 12 May 2006 - 06:15 - Main.EmilyFortuna
Revision 33 - r33 - 12 May 2006 - 06:10 - Main.EmilyFortuna
Revision 32 - r32 - 12 Mar 2006 - 20:00 - Main.EmilyFortuna
Revision 31 - r31 - 12 Mar 2006 - 19:59 - Main.EmilyFortuna
Revision 30 - r30 - 12 Mar 2006 - 19:58 - Main.EmilyFortuna
Revision 29 - r29 - 12 Mar 2006 - 19:58 - Main.EmilyFortuna
Revision 28 - r28 - 12 Mar 2006 - 19:57 - Main.EmilyFortuna
Revision 27 - r27 - 12 Mar 2006 - 19:56 - Main.EmilyFortuna
Revision 26 - r26 - 12 Mar 2006 - 19:55 - Main.EmilyFortuna
Revision 25 - r25 - 12 Mar 2006 - 19:54 - Main.EmilyFortuna
Revision 24 - r24 - 12 Mar 2006 - 19:53 - Main.EmilyFortuna
Revision 23 - r23 - 12 Mar 2006 - 19:51 - Main.EmilyFortuna
Revision 22 - r22 - 12 Mar 2006 - 19:48 - Main.EmilyFortuna
Revision 21 - r21 - 12 Mar 2006 - 18:38 - Main.EmilyFortuna
Revision 20 - r20 - 12 Mar 2006 - 02:46 - Main.EmilyFortuna
Revision 19 - r19 - 12 Mar 2006 - 02:45 - Main.EmilyFortuna
Revision 18 - r18 - 12 Mar 2006 - 02:44 - Main.EmilyFortuna
Revision 17 - r17 - 12 Mar 2006 - 02:44 - Main.EmilyFortuna
Revision 16 - r16 - 12 Mar 2006 - 02:43 - Main.EmilyFortuna
Revision 15 - r15 - 12 Mar 2006 - 02:41 - Main.EmilyFortuna
Revision 14 - r14 - 12 Mar 2006 - 02:41 - Main.EmilyFortuna
Revision 13 - r13 - 12 Mar 2006 - 02:40 - Main.EmilyFortuna
Revision 12 - r12 - 12 Mar 2006 - 02:37 - Main.EmilyFortuna
Revision 11 - r11 - 13 Jan 2006 - 22:37 - Main.GregoryMalecha
Revision 10 - r10 - 04 Jan 2006 - 21:20 - Main.WalidTaha
Revision 9 - r9 - 02 Jan 2006 - 14:20 - Main.WalidTaha
Revision 8 - r8 - 31 Dec 2005 - 22:35 - Main.WalidTaha
Revision 7 - r7 - 07 Dec 2005 - 21:35 - Main.RoumenKaiabachev
Revision 6 - r6 - 28 Nov 2005 - 21:28 - Main.RoumenKaiabachev
Revision 5 - r5 - 15 Nov 2005 - 21:13 - Main.SethFogarty
Revision 4 - r4 - 15 Nov 2005 - 00:49 - Main.RoumenKaiabachev
Revision 3 - r3 - 14 Nov 2005 - 20:28 - Main.SethFogarty
Revision 2 - r2 - 21 Oct 2005 - 19:27 - Main.TWikiGuest
Revision 1 - r1 - 21 Oct 2005 - 17:08 - Main.TWikiGuest

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? ". Please contribute updates to this topic on TWiki.org at TWiki:TWiki.WebHome". This site is powered by the TWiki collaboration platform