08:14:13 morton joined #tunes 08:14:17 morton left #tunes 09:29:24 hcf joined #tunes 09:48:08 abi: cctp is Compiler Construction Tools in Prolog at http://cs.wwc.edu/Research/Compiler/PrologTools/ 09:48:08 abi: universal assembler is at http://cs.wwc.edu/Research/Compiler/doc/ua.html 09:48:11 abi: upg is Unified Paradigm Grammar at http://moonbase.wwc.edu/~cs_dept/KU/PR/unified.html 09:55:05 eihrul joined #tunes 10:41:52 abi: bolt is a new bytecode OO PL at http://sourceforge.net/projects/bolt/ 10:41:53 abi: olex is a LL(k) parser generator for C++ at http://sourceforge.net/projects/olex/ 10:41:55 abi: smc is a State Map Compiler at http://sourceforge.net/projects/smc/ 10:41:58 abi: sol is State Object Language at http://sourceforge.net/projects/sol/ 10:42:01 abi: qpascal is at http://sourceforge.net/projects/qpascal/ 10:42:03 abi: ccscript is C++ state-event script engine at http://sourceforge.net/projects/ccscript/ 10:42:06 abi: aphasia is an advanced scripting language at http://sourceforge.net/projects/aphasia/ 10:42:11 abi: basil is a parsing and modeling environment for working with, coding in, integrating, and designing languages at http://wildideas.org/basil/ http://sourceforge.net/projects/basil/ 10:42:14 abi: ftwalk is a high level language, modelled on awk at http://sourceforge.net/projects/ftwalk/ 10:42:16 abi: i-lang is PL based on Java and Eiffel with XML syntax at http://sourceforge.net/projects/i-lang/ 10:42:19 abi: KBasic is complete BASIC for KDE at http://sourceforge.net/projects/kbasic/ 10:42:21 abi: QTbasic is at http://sourceforge.net/projects/qtbasic/ 10:42:24 abi: plasm is a functional language for solid modeling at http://sourceforge.net/projects/plasm/ http://www.dia.uniroma3.it/~plasm/ 12:14:51 +abi: sdl is a survey of distributed languages at http://www.cgl.uwaterloo.ca/~anicolao/termpaper.html 12:14:51 +abi: fmplam is Formal Models of Programming Languages and Abstract Machines at http://research.microsoft.com/users/dsyme/formal-languages.html 12:14:55 oops 12:15:10 abi: sdl is a survey of distributed languages at http://www.cgl.uwaterloo.ca/~anicolao/termpaper.html 12:15:10 abi: fmplam is Formal Models of Programming Languages and Abstract Machines at http://research.microsoft.com/users/dsyme/formal-languages.html 12:15:13 abi: HOL is a Theorem Proving System at http://lal.cs.byu.edu/lal/ 12:15:14 abi: COMMA is COMMunicating Agents research group at http://comma.doc.ic.ac.uk 12:15:17 abi: SLURP is Sound Languages Underpin Reliable Programming at http://www-dse.doc.ic.ac.uk/Projects/slurp/index.html 12:15:18 abi: JOIE is Java Object Instrumentation Environment, a toolkit and environment for the loadtime transformation of Java classes at http://www.cs.duke.edu/~gac/joie/ 12:15:21 abi: kimera is a System Architecture for Networked Computers at http://kimera.cs.washington.edu/ 12:15:21 ...but kimera is A System Architecture for Networked Computers at http://kimera.cs.washington.edu... 12:15:21 abi: jb is Parser and Lexer Generation for Java at http://www.cs.colorado.edu/~arcadia/Software/jb.html 12:15:33 abi: tps is (Tiny/Transportable PostScript) a embedded, transportable, agent language at http://www.cs.colorado.edu/~arcadia/Software/tps.html ftp.cs.colorado.edu/pub/distribs/arcadia/obsolete/ 12:15:33 abi: wam is Warren's Abstract Machine at http://www.isg.sfu.ca/~hak/documents/wam.html 12:15:38 abi: jacc is Just Another Compiler Compiler, a Java based LALR parser generator at http://www.isg.sfu.ca/~hak/jacc/ 12:15:38 abi: borneo is "programming system", family of languages and paradigms at http://www.isg.sfu.ca/~hak/Borneo.html 12:15:41 abi: ccam is A Calculus of Composable Abstract Machines at http://www.isg.sfu.ca/~hak/Research/current/AbstractMachines.html 12:15:42 abi: RelativeOO is Relativistic Object-Orientation at http://www.isg.sfu.ca/~hak/Research/current/RelativeOO.html 12:15:46 abi: otter is An Automated Deduction System at http://www-unix.mcs.anl.gov/AR/otter/ 12:15:46 abi: SwitchWare is the SwitchWare project, Active Network Research at http://www.cis.upenn.edu/~switchware/ 12:15:49 abi: sane o/s is FreeBSD based os w/ active networking support at http://www.cis.upenn.edu/~switchware/sane_os/ 12:15:50 abi: cyclone is a certifying run-time code generator at http://www.cis.upenn.edu/~cyclone 12:15:53 abi: ses is Security for Extensible Systems at http://www.cs.washington.edu/homes/rgrimm/research/security.html 12:15:53 abi: csis is Center for Secure Information Systems at http://www.isse.gmu.edu/~csis/ 12:15:56 abi: atsc is Advanced Type Systems in Computing http://www.cs.nps.navy.mil/research/languages/ 12:16:02 12:52:19 [QUIT] hcf quit: Leaving 12:56:43 coreyr joined #tunes 14:20:27 hcf joined #tunes 15:04:11 [QUIT] rares quit: Read error to rares[wtrb-sh4-port190.snet.net]: Connection reset by peer 16:18:35 hcf: you've been busy, eh? 16:19:21 mibin joined #tunes 16:19:50 a tad 16:20:26 abi: hpos is Hierarchical Persistent Object Stores at http://www.cs.adelaide.edu.au/users/fred/projects/hpos/ 16:20:27 abi: ihfs is Intelligent Hierarchical File Systems at http://www.cs.adelaide.edu.au/users/fred/projects/ihfs/ 16:20:29 abi: srg is Scene Graph Rewriting, and grumble at http://www.cgl.uwaterloo.ca/~pkharwoo/sgr/ 16:20:31 abi: sbl is a compact stack-based language at metalab.unc.edu/pub/Linux/devel/lang/misc/sbl-0.1.tar.gz 16:20:34 abi: interpreter.scm is an interpreter for a simple language implemented in scheme at http://www.waskiewicz.org/references/scheme/index.html 16:20:38 16:57:07 eihrul joined #tunes 17:16:32 [QUIT] rares quit: Read error to rares[wtrb-sh5-port82.snet.net]: Connection reset by peer 18:20:45 hcf_ joined #tunes 18:20:50 [QUIT] hcf quit: Read error to hcf[207-172-225-56.s56.tnt1.pld.me.dialup.rcn.com]: Connection reset by peer 18:20:59 [NICK] hcf_ changed nick to: hcf 18:29:24 [NICK] kc-shoparoo changed nick to: kc5tja 18:47:21 ult joined #tunes 19:29:11 mibin joined #tunes 20:21:54 abi: GOMscript is an object-oriented C++-like interpreter at http://www.cs.cornell.edu/home/bba/code.html 20:21:55 abi: HOP is a functional language with "name-based" interaction between software components at http://cui.unige.ch/OSG/research/Hop/hop.html 20:21:58 abi: mondrian is a new functional scripting language for Internet applications at http://www.cs.uu.nl/~afie/mondrian/ 20:24:38 well, isn't mondrian actually just a .NETified haskell? 20:25:23 is it? 20:25:59 i'm not quite sure 20:26:05 but from haskell mailing list, it sounds like it :) 20:26:48 when/if u learn more, update the factoid 20:46:22 hmm 20:46:25 HOP looks interesting 20:46:51 wasnt there a tunes@ thread relating to the same poop HOP covers? 20:47:04 no idea... 20:47:10 was there? :) 20:48:06 are you talking about Kyle's stuff or that there was HOP itself? 20:48:26 probly kyle's stuff 20:52:57 it may of been the stuff started by Martelli's jan 12 msg wrt joy 20:57:04 yeah... but HOP is a functional language :) 20:57:14 looks kinda like libra though 20:59:47 cept libra looks more general :) 21:04:02 abi: FLOR is Functional Language for Object Reflection at http://www.uniovi.es/~oviedo3/labra/FLOR.html 21:04:03 abi: LPS is Language Prototyping System, a system for writing modular interpreters using Haskell as the base language at http://horru.lsi.uniovi.es/~labra/LPS/LPS.html 21:04:05 abi: APL is also Advanced Programming Languages at http://lsi.uniovi.es/~labra/APL.html 21:04:06 okay, hcf. 21:07:38 [QUIT] MysticOne quit: I'm outta here! Catch everyone later! 21:12:18 abi: toy is also a prototype for a constraint functional logic language at http://mozart.sip.ucm.es/incoming/toy.html 21:12:18 okay, hcf. 21:12:22 abi: bablog is a lazy higher-order logic programming language at http://mozart.sip.ucm.es/incoming/bablog.html 21:14:44 ult joined #tunes 21:17:15 [QUIT] nate37 quit: Ping timeout for nate37[adsl-63-204-135-12.dsl.snfc21.pacbell.net] 21:17:27 abi: nepal is a compiler for nested data-parallelism at http://www.cse.unsw.edu.au/~chak/nepal/ 21:17:32 abi: goffin is distributed haskell at http://www.cse.unsw.edu.au/~chak/goffin/ 21:18:09 You've been busy hcf. 21:18:34 a tad 21:28:33 HOP looks a little convoluted though :) 21:42:24 [QUIT] coreyr quit: My damn controlling terminal disappeared! 22:21:36 hcf joined #tunes 22:21:50 lispbliss joined #tunes 22:40:14 [NICK] ink|food changed nick to: ink 23:19:56 lispbliss left #tunes 23:41:56 water: icuc, http://freshmeat.net/news/2000/08/12/966133366.html http://citeseer.nj.nec.com/45669.html http://citeseer.nj.nec.com/75715.html http://citeseer.nj.nec.com/kesner96typed.html 23:41:58 [QUIT] hcf quit: Leaving 02:12:55 exxos joined #tunes